diff options
| author | Jakob Unterwurzacher | 2017-04-29 15:11:17 +0200 |
|---|---|---|
| committer | Jakob Unterwurzacher | 2017-04-29 15:11:17 +0200 |
| commit | e135a72bda6ffa828e5445a16c349dd7017db282 (patch) | |
| tree | 3637aa85f23a6431a014b3664394c437cd54650a /.gitignore | |
| parent | edb3e19cb5543c580261052395d461fa47c7cf58 (diff) | |
main: "--" should also block "-o" parsing
Includes test cases.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions