[diff.dcl] Remove space before colon.#2599

Merged

tkoeppe merged 1 commit intocplusplus:masterfrom

Eelis:colonspace

Dec 17, 2018

Commits on Dec 17, 2018

[diff.dcl] Remove space before colon.
Eelis
committed