diff options
| author | Hugo Herbelin | 2016-04-16 16:07:33 +0200 |
|---|---|---|
| committer | Hugo Herbelin | 2016-04-27 21:55:49 +0200 |
| commit | d28c1d7d908fe9d5fc719d58433a6b87c12390ba (patch) | |
| tree | bc919a6b43f27d02f30fa13f5922362f723eedff /plugins/syntax/string_syntax.ml | |
| parent | 5e9b37a815795efaafd64ab8fe19bf8560d70203 (diff) | |
Re-add -beautify by default.
Diffstat (limited to 'plugins/syntax/string_syntax.ml')
0 files changed, 0 insertions, 0 deletions