diff options
| author | Johannes Ranke <jranke@uni-bremen.de> | 2017-01-31 07:40:09 +0100 |
|---|---|---|
| committer | Johannes Ranke <jranke@uni-bremen.de> | 2017-01-31 07:40:09 +0100 |
| commit | 5cf14fe9a9fe15e866529ebde14492b56645f6b7 (patch) | |
| tree | a21f11cda8bf68fef857fa7c98c3a131242d8ce6 /.gitignore | |
| parent | 4f4cd07a9ef72c53bbfa53eda835f19dc9f9ad72 (diff) | |
Remove winbuilder target, documentation fix.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions