diff options
| author | Boris Kolpackov <boris@codesynthesis.com> | 2018-06-18 14:53:22 +0200 |
|---|---|---|
| committer | Boris Kolpackov <boris@codesynthesis.com> | 2018-06-18 14:53:22 +0200 |
| commit | ad2f4ee8af479a3825ec8e7c48796c65afe1748a (patch) | |
| tree | 0e08cc566260e804b743a3f8917a443a76bf6070 /.gitignore | |
| parent | dc24553fd249ccf2025cbbb654fb57f01ff139fa (diff) | |
Suppress support for combined CLI flags (--no-combined-flags)
We don't have any short options and this is incompatible with the skip mode
we are using.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions