diff options
author | Pierre-Yves Chibon <pingou@pingoured.fr> | 2012-08-30 09:23:17 +0200 |
---|---|---|
committer | Pierre-Yves Chibon <pingou@pingoured.fr> | 2012-08-30 09:23:17 +0200 |
commit | e7abde48688180d707dd4e0d1553fd285520b0ed (patch) | |
tree | 93b54b93c8141d7c7c764561b850a5702757548d /divelist.h | |
parent | 823f266eea9479e909d09c2fccb9fba00b95718e (diff) | |
download | subsurface-e7abde48688180d707dd4e0d1553fd285520b0ed.tar.gz |
Remove the pretty-print without dive profile option.
Until now we had the choice between:
- pretty-print
- with dive profiles
- without dive profiles
- table-print
This commit remove the pretty-print without dive profiles, leaving the choice to
either pretty-print or table-print.
Signed-off-by: Pierre-Yves Chibon <pingou@pingoured.fr>
Diffstat (limited to 'divelist.h')
0 files changed, 0 insertions, 0 deletions