diff options
| author | Hugo Herbelin | 2016-10-11 22:11:16 +0200 |
|---|---|---|
| committer | Hugo Herbelin | 2016-10-12 11:00:13 +0200 |
| commit | 96ed527472c38e92727d8fb6bfc41770c43b762b (patch) | |
| tree | efb895c09b03b0359ad0b63ee44cff03ff4280b9 /dev/base_include | |
| parent | af3538f0c6decdccd47abcdeb7b7eeaff64b69b5 (diff) | |
Fixing a few confusions on the name of the beautify flag.
(It should apply also interactively.)
Diffstat (limited to 'dev/base_include')
0 files changed, 0 insertions, 0 deletions