ignores
authorpeusterm <manuel.peuster@uni-paderborn.de>
Thu, 18 Aug 2016 13:04:42 +0000 (15:04 +0200)
committerpeusterm <manuel.peuster@uni-paderborn.de>
Thu, 18 Aug 2016 13:04:42 +0000 (15:04 +0200)
commit3700e0825956a946d070dee7ede13a988b79a150
tree8331030b373ba0c9baf8febafd0d60d843d7e81e
parent5373ea6bc34b414e74168e48e5fa823d3893ce78
ignores
.gitignore