diff options
author | Michal Schmidt <mschmidt@redhat.com> | 2014-11-10 14:54:57 +0100 |
---|---|---|
committer | Michal Schmidt <mschmidt@redhat.com> | 2014-11-10 14:54:57 +0100 |
commit | ed80170d8381cb59d323414838f189cd0d200dad (patch) | |
tree | 68dfcecebe28f436ec5638ec87ecd3a07daaae9a /man/user-system-options.xml | |
parent | 036359ba8d0aba7db7eac75d10073a849a033fd1 (diff) |
man: don't refer to undocumented option '--failed'
Diffstat (limited to 'man/user-system-options.xml')
0 files changed, 0 insertions, 0 deletions