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')
| -rw-r--r-- | gitignore | 1 |
1 files changed, 0 insertions, 1 deletions
@@ -12,4 +12,3 @@ ~$*.xlk* ~$*.ppt* - |