aboutsummaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorJohannes Ranke <jranke@uni-bremen.de>2014-10-13 09:46:23 +0200
committerJohannes Ranke <jranke@uni-bremen.de>2014-10-13 09:46:23 +0200
commitab4de6b7c91813cc028eebfb38e5cee0f4a34b9e (patch)
treed2efe66d897b6b3dedbe98d07999945009f32a1e /.gitignore
parent9b83cf2027ecb337f90e4e5c7a0ade36da7611e5 (diff)
Link to the new documentation website and the manual
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions

Contact - Imprint