diff options
| author | Johannes Ranke <jranke@uni-bremen.de> | 2023-05-12 17:11:08 +0200 |
|---|---|---|
| committer | Johannes Ranke <jranke@uni-bremen.de> | 2023-05-12 17:11:08 +0200 |
| commit | fb2b3591aa832dce5d8d9295d444fbe3909980de (patch) | |
| tree | 247c385e81bb2d866f323f1e2ab66b09df102235 /.gitignore | |
| parent | 432eb7ba89c46f97b4d13575d1de2fb41ae83be5 (diff) | |
Clean out unused stuff
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions