aboutsummaryrefslogtreecommitdiff
path: root/man
diff options
context:
space:
mode:
authorJohannes Ranke <jranke@uni-bremen.de>2014-11-13 17:28:36 +0100
committerJohannes Ranke <jranke@uni-bremen.de>2014-11-13 17:28:36 +0100
commit49cf901e570e5b4346e44339083670c36add0a6c (patch)
tree73906a54f2a91afe271e8aae35b4944f7b820250 /man
parentaca59a79c298119d48b393b15d64d9da1da5b113 (diff)
Switch to tools:buildVignette for the gmkin manual
This works, now that I have installed pandoc-citeproc
Diffstat (limited to 'man')
0 files changed, 0 insertions, 0 deletions

Contact - Imprint