diff options
| author | Christian Clason <christian.clason@uni-due.de> | 2021-08-13 15:47:16 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-08-13 15:47:16 +0200 |
| commit | f1a27baf279976845eb43c65e99a71d7f0f92d02 (patch) | |
| tree | 0e9550b88701fc6b5706a3776b41092523cae9e9 /scripts | |
| parent | ec5b6abbe0f06391098000af8d4829e941774b7c (diff) | |
chore: remove obsolete git opts from minimal.lua
...now that @Conni2461 did some spring cleaning on plenary ;)
Diffstat (limited to 'scripts')
0 files changed, 0 insertions, 0 deletions