diff options
| author | Johannes Ranke <jranke@uni-bremen.de> | 2014-11-19 16:51:56 +0100 |
|---|---|---|
| committer | Johannes Ranke <jranke@uni-bremen.de> | 2014-11-19 16:51:56 +0100 |
| commit | 6e4d32c186108ef4a8b1518299732ec82baa3f9b (patch) | |
| tree | 9b39ad7261cb6c9112cdba1cfd4c596bb6a159ec /.gitignore | |
| parent | 477d8b7651f8cca287e7a4d43be7fffea32a1dcf (diff) | |
Small fixes to the manual
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions