diff options
| author | Johannes Ranke <jranke@uni-bremen.de> | 2014-10-14 11:02:29 +0200 |
|---|---|---|
| committer | Johannes Ranke <jranke@uni-bremen.de> | 2014-10-14 11:02:29 +0200 |
| commit | 2261143f6c022f78909f31bf35a236592384bd2e (patch) | |
| tree | a357b475df9770be157590344133bda5d9a212da /.gitignore | |
| parent | 09f3ba4184bb6506d4aa33243fe6759396c57d24 (diff) | |
Fix a heading in the manual, release to r-forge repo
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions