summaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorDaniel Friesel <daniel.friesel@uos.de>2020-10-07 13:58:08 +0200
committerDaniel Friesel <daniel.friesel@uos.de>2020-10-07 13:58:08 +0200
commitc613e83a73d467342d7798d0c10a99a28aee8ed7 (patch)
treeee3ab9e57ba6778081a94e39bbddb220fb36d9d8 /.gitignore
parent9d2380c7c485768fb707926a715e472187dab81e (diff)
parent8391c8848fb489cd1502cf2f47a6bc8268119717 (diff)
Merge branch 'master' into merge-prep/janis
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions