diff options
| author | stuebinm | 2021-12-18 17:33:08 +0100 |
|---|---|---|
| committer | stuebinm | 2021-12-18 17:33:08 +0100 |
| commit | 96a3cc24b3b62e2e88b0d31e66204c16d20f2aa9 (patch) | |
| tree | bb96684719ee2f85b5a7faf42afba817aacf08bc /lib/Types.hs | |
| parent | 8082e9ef10a08c362adba26aff4f2e5140f6f7f0 (diff) | |
quick badge bugfix
obviously, it should remove all objects defining badges, not those NOT
defining badges …
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions