aboutsummaryrefslogtreecommitdiffhomepage
path: root/grammar
diff options
context:
space:
mode:
authorGravatar Hugo Herbelin <Hugo.Herbelin@inria.fr>2016-04-26 12:14:41 +0200
committerGravatar Hugo Herbelin <Hugo.Herbelin@inria.fr>2016-04-27 21:55:49 +0200
commit67335c832a55cbd0ca559906bbe1af2485241353 (patch)
tree40ab19e18f8c911b199a574e505eceeaa4e9f95d /grammar
parent857dc0aaae30805725da213b6550dc1ff3a7adb2 (diff)
Revert "Re-add -beautify by default."
Diffstat (limited to 'grammar')
0 files changed, 0 insertions, 0 deletions