diff options
| author | mhilbrunner <m.hilbrunner@gmail.com> | 2017-10-07 14:57:04 +0200 |
|---|---|---|
| committer | mhilbrunner <m.hilbrunner@gmail.com> | 2017-10-07 14:57:04 +0200 |
| commit | b772f5adc9bd9384994bdf60ac4d0285c47bc3e2 (patch) | |
| tree | 576fc63b31da2e785eee0b32ece664faf3d1f52c /editor | |
| parent | bd10a002402de6e3a69a17af604784ea7f5b3330 (diff) | |
doc_status.py: Error message for unknown CLI flag, switch shebang to python
Diffstat (limited to 'editor')
0 files changed, 0 insertions, 0 deletions