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 /NAMESPACE | |
parent | 4f4cd07a9ef72c53bbfa53eda835f19dc9f9ad72 (diff) |
Remove winbuilder target, documentation fix.
Diffstat (limited to 'NAMESPACE')
0 files changed, 0 insertions, 0 deletions