applies ips patches. remember those?

Rhiannon Morris fff25999c9 rename a variable		2021-05-07 14:14:01 +02:00
main	first	2021-02-24 16:28:47 +01:00
src	rename a variable	2021-05-07 14:14:01 +02:00
.gitignore	first	2021-02-24 16:28:47 +01:00
ips.cabal	add some strictness	2021-05-07 14:13:54 +02:00