added label/ref functionality to float environments#253
Open
ngc92 wants to merge 2 commits intoJelteF:masterfrom
Open
added label/ref functionality to float environments#253ngc92 wants to merge 2 commits intoJelteF:masterfrom
ngc92 wants to merge 2 commits intoJelteF:masterfrom
Commits
Commits on Mar 6, 2019
- committed
- committed
