Skip to content

Remove need to redefine \definition.#1606

Merged
zygoloid merged 1 commit intocplusplus:masterfrom
Eelis:autodef
Jul 30, 2017
Merged

Remove need to redefine \definition.#1606
zygoloid merged 1 commit intocplusplus:masterfrom
Eelis:autodef

Commits

Commits on Apr 7, 2017