What you propose isn't quite as popular as you think:
$ grep -R "^\( \)*: " src/ include/ examples/ tests/ | wc -l 385
Not that this changes the conclusion.
« Back to merge proposal
What you propose isn't quite as popular as you think:
$ grep -R "^\( \)*: " src/ include/ examples/ tests/ | wc -l
385
Not that this changes the conclusion.