aboutsummaryrefslogtreecommitdiff
path: root/man
diff options
context:
space:
mode:
authorJohannes Ranke <jranke@uni-bremen.de>2021-02-13 09:43:58 +0100
committerJohannes Ranke <jranke@uni-bremen.de>2021-02-13 09:43:58 +0100
commit4ecf6504406842824850a288f964954261220aa1 (patch)
tree9ff1b814b406f676afebdf9b557188c44206d298 /man
parentc621d65c68302353ef4a51928e4ad8c3ddc11f94 (diff)
Another workspace update, remove outdated optionv0.6.12
Diffstat (limited to 'man')
0 files changed, 0 insertions, 0 deletions

Contact - Imprint