diff options
author | Daniel Friesel <daniel.friesel@uos.de> | 2020-11-02 10:11:08 +0100 |
---|---|---|
committer | Daniel Friesel <daniel.friesel@uos.de> | 2020-11-02 10:11:08 +0100 |
commit | c179546f74807882f4dff47c8a969741f2dba1a7 (patch) | |
tree | 946a068fc4fb4f705678895e405b3b27990a49d9 /.gitmodules | |
parent | 081247660357c8f63fdaaf363c29d1b95a86b842 (diff) | |
parent | dd33d9b36dd071d04ccba5a000e9562c2b6a4a31 (diff) |
Merge branch 'master' into merge-prep/janis
Diffstat (limited to '.gitmodules')
0 files changed, 0 insertions, 0 deletions