diff options
| author | Alec Theriault <alec.theriault@gmail.com> | 2018-02-11 03:31:44 -0800 |
|---|---|---|
| committer | Alexander Biehl <alexbiehl@gmail.com> | 2018-02-11 12:31:44 +0100 |
| commit | 5141e4b76af8462e49abdf48e44bb9cddb183383 (patch) | |
| tree | cf30907acc18b379a2ccb4a4d40cf55a18215c2e /haddock-api/resources/html/Ocean.std-theme/plus.gif | |
| parent | 0bffd8bd1105331a6fcf0b7e592358c131de9300 (diff) | |
Add 'show' option to complement 'hide' (#752)
* Add 'show' option to complement 'hide'
The behaviour is for flags passed in the command line to override
flags in file headers. In the command line, later flags override
earlier ones.
Fixes #751 and #266.
* Add a '--show-all' option
Diffstat (limited to 'haddock-api/resources/html/Ocean.std-theme/plus.gif')
0 files changed, 0 insertions, 0 deletions