aboutsummaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorJohannes Ranke <jranke@uni-bremen.de>2015-07-24 21:16:54 +0200
committerJohannes Ranke <jranke@uni-bremen.de>2015-07-24 21:16:54 +0200
commit26eb2a35033cfe9c565b3d9f93b4c07a3db39860 (patch)
treebef0162025c11f914c18f50f595b1a578375fc00 /.gitignore
parentfe068f3e749445a914f7cbebdd4bb242b329b99f (diff)
remove staticdocs directory as it is not needed any more
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions

Contact - Imprint