Files
snikket-web-portal/snikket_web
Jonas Schäfer f2c79044e0 Clean up post-merge lint
I am a *bit* sorry for this commit, because ideally this would've been
folded into 6d50b1c2c7 and whatever the
source of the other "conflict" was.

However, as the things have been merged in a batch, I can't do much more
than this.
2022-06-06 19:52:24 +02:00
..
2021-03-25 17:31:56 +01:00
2022-06-06 19:52:24 +02:00
2022-06-06 19:52:24 +02:00
2022-05-30 17:37:54 +02:00
2022-06-06 19:52:24 +02:00
2022-05-30 17:37:54 +02:00
2022-05-30 17:37:54 +02:00