diff options
| author | Will Dietz <w@wdtz.org> | 2018-02-11 12:47:42 -0600 |
|---|---|---|
| committer | Will Dietz <w@wdtz.org> | 2018-02-11 13:03:47 -0600 |
| commit | a0bdc96726b15b7f529156bccd60d0f8dd5544f3 (patch) | |
| tree | f0d5c1fa284ca7f46a9d413898ab37589cf34926 /doc/manual/command-ref/command-ref.xml | |
| parent | 5a082ad15a0f46dc1cbfd8aa5cb3ad9d94b5f178 (diff) | |
compression: print warning if parallel requested but not supported
Diffstat (limited to 'doc/manual/command-ref/command-ref.xml')
0 files changed, 0 insertions, 0 deletions