diff options
| author | Gaëtan Gilbert | 2018-03-03 23:59:48 +0100 |
|---|---|---|
| committer | Gaëtan Gilbert | 2018-04-13 14:10:04 +0200 |
| commit | bc0246f5a570f70c7befb150d7b544032acbaf7e (patch) | |
| tree | b3942f3ea806b0ffc6f93a44627bf661c15af0ab /dev/tools/pre-commit | |
| parent | 4baca7221917685210899b766e71782ddae4249f (diff) | |
niv minimization: remove [remove_lower] abbreviation
It's not long, used only once and it's easier to understand what it
does when it's inlined.
Diffstat (limited to 'dev/tools/pre-commit')
0 files changed, 0 insertions, 0 deletions