[support, diagnostics] Turn synopses into numbered sections#569
Merged
zygoloid merged 3 commits intocplusplus:masterfrom Nov 23, 2015
Merged
[support, diagnostics] Turn synopses into numbered sections#569zygoloid merged 3 commits intocplusplus:masterfrom
zygoloid merged 3 commits intocplusplus:masterfrom