aboutsummaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorJohannes Ranke <jranke@uni-bremen.de>2023-08-28 11:36:11 +0200
committerJohannes Ranke <jranke@uni-bremen.de>2023-08-28 11:36:25 +0200
commit3ae4081bb38fe28c59f191472afe300801965cb4 (patch)
tree111a98afcc694638adf7b8e85925fef20586907c /.gitignore
parente425511fbd530270fb75b6b2fed7b191d63a4199 (diff)
Instructions for installation with dratHEADmain
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions

Contact - Imprint