diff options
| author | Johannes Ranke <jranke@uni-bremen.de> | 2014-10-13 09:46:23 +0200 |
|---|---|---|
| committer | Johannes Ranke <jranke@uni-bremen.de> | 2014-10-13 09:46:23 +0200 |
| commit | ab4de6b7c91813cc028eebfb38e5cee0f4a34b9e (patch) | |
| tree | d2efe66d897b6b3dedbe98d07999945009f32a1e /.gitignore | |
| parent | 9b83cf2027ecb337f90e4e5c7a0ade36da7611e5 (diff) | |
Link to the new documentation website and the manual
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions