[basic] Replace \term with \defnx as appropriate#1061
Merged
tkoeppe merged 1 commit intocplusplus:masterfrom Nov 17, 2016
Merged
[basic] Replace \term with \defnx as appropriate#1061tkoeppe merged 1 commit intocplusplus:masterfrom
tkoeppe merged 1 commit intocplusplus:masterfrom
