Skip to content
GitLab

Switch to strict bulleting everywhere

Merged Tej Chajed requested to merge tchajed/stdpp:strict-bulleting into master

Solve #82 (closed).

The flag isn't enforced anywhere, but with this we can add it seamlessly (ideally soon after so there aren't more violations that creep in).

Edited by Tej Chajed