diff options
| author | Johannes Ranke <jranke@uni-bremen.de> | 2014-07-24 14:52:27 +0200 |
|---|---|---|
| committer | Johannes Ranke <jranke@uni-bremen.de> | 2014-07-24 14:52:27 +0200 |
| commit | 7416e25376726d24be67c8802cb56cb18acaebf8 (patch) | |
| tree | 52bd15cb301b1fdcaaaa6e165b717e707aa74c3a /.gitignore | |
| parent | 9b947f0358d3a1b1fc922bfd0187ca444ce5811d (diff) | |
Semantic correction in help file
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions