diff options
| author | Julian Andres Klode <jak@debian.org> | 2015-08-14 14:51:02 +0200 |
|---|---|---|
| committer | Julian Andres Klode <jak@debian.org> | 2015-08-14 14:51:02 +0200 |
| commit | b7bbde252027fb582cc1050e42ef5831275289fa (patch) | |
| tree | 38b8eca0c790317e2337dafa89a84bb65d6c2b93 /debian/source/options | |
| parent | 2e38192cec76b3b98fe8aeb5a9a1e0fa3573d3a4 (diff) | |
Say "in combination with the other options" if an option is not understood
Closes: #762758
Diffstat (limited to 'debian/source/options')
0 files changed, 0 insertions, 0 deletions