diff options
| author | Johannes Ranke <jranke@uni-bremen.de> | 2014-11-13 17:28:36 +0100 |
|---|---|---|
| committer | Johannes Ranke <jranke@uni-bremen.de> | 2014-11-13 17:28:36 +0100 |
| commit | 49cf901e570e5b4346e44339083670c36add0a6c (patch) | |
| tree | 73906a54f2a91afe271e8aae35b4944f7b820250 /.gitignore | |
| parent | aca59a79c298119d48b393b15d64d9da1da5b113 (diff) | |
Switch to tools:buildVignette for the gmkin manual
This works, now that I have installed pandoc-citeproc
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions