diff options
| author | Johannes Ranke <jranke@uni-bremen.de> | 2014-11-13 16:14:20 +0100 |
|---|---|---|
| committer | Johannes Ranke <jranke@uni-bremen.de> | 2014-11-13 16:14:20 +0100 |
| commit | 62cf472b876ff2ebdfa6f20614afc56a8c113452 (patch) | |
| tree | f0105430a44cb4d5089e2655c2020a216aec4a47 /.gitignore | |
| parent | 49856001ee5c2c45ebc497570c5b1eac7a0c03e2 (diff) | |
Fix code/documentation mismatch
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions