aboutsummaryrefslogtreecommitdiff
path: root/man
diff options
context:
space:
mode:
authorJohannes Ranke <jranke@uni-bremen.de>2015-11-06 17:54:03 +0100
committerJohannes Ranke <jranke@uni-bremen.de>2015-11-06 17:55:39 +0100
commit26e3ea2dd40e3ea62ed6cc3de97a9d4dc8cdda40 (patch)
tree210fdfaa5b4acabec751434854cc13ae05d725d6 /man
parentc4ca5c9a5eef5e00971db60c21c33518876cd8ed (diff)
Do not autogenerate the content of the Manual view area
This is because the links in the TOC disturbed the GUI, and without a TOC viewing the manual is pretty annoying.
Diffstat (limited to 'man')
0 files changed, 0 insertions, 0 deletions

Contact - Imprint