diff options
| author | Jakob Unterwurzacher | 2016-10-09 19:32:55 +0200 |
|---|---|---|
| committer | Jakob Unterwurzacher | 2016-10-09 19:32:55 +0200 |
| commit | 25a8802403de157bdfc39b7860ea4e3ee2b1d8ee (patch) | |
| tree | 87df610f36f278ebf581e423b4ae80f760a5e2f3 /Documentation/.gitignore | |
| parent | 17df345103f53c9076fe1311ae459af1c4e7c82a (diff) | |
main: rename "-o" option to "-ko"
This prevents confusion with the "-o" options that is passed
by mount(1) at the end of the command line.
Diffstat (limited to 'Documentation/.gitignore')
0 files changed, 0 insertions, 0 deletions