[lex] Replace \term with \placeholder or \defn as appropriate#1067
Merged
tkoeppe merged 1 commit intocplusplus:masterfrom Nov 18, 2016
Merged
[lex] Replace \term with \placeholder or \defn as appropriate#1067tkoeppe merged 1 commit intocplusplus:masterfrom
tkoeppe merged 1 commit intocplusplus:masterfrom
