diff options
| author | Jakob Unterwurzacher | 2016-10-10 19:44:34 +0200 |
|---|---|---|
| committer | Jakob Unterwurzacher | 2016-10-10 19:44:34 +0200 |
| commit | 7b2049c7698325a6a0ef965b6fb7a2fa94e3329b (patch) | |
| tree | c07aecad09a6f3b137f584428224db2548513f50 /Documentation/.gitignore | |
| parent | 828f7184838be17d04ff4d78d8b066f4947406f3 (diff) | |
main: accept "-o" at the front AND at the end
Moving "-o" to the end broke a third-party app, SiriKali.
Breaking your users is bad, so let's accept "-o" anywhere.
Diffstat (limited to 'Documentation/.gitignore')
0 files changed, 0 insertions, 0 deletions