christian 7a4ea9ad95 forgot its auto commit

2021-12-14 02:34:42 +01:00

..

DataLayer

forgot its auto commit

2021-12-14 02:34:42 +01:00

FunctionLayer

added lemma nullchecks to avoid nullpointers

2021-12-09 12:14:09 +01:00

META-INF

had accidently uploaded wrong version before

2021-10-25 19:27:47 +02:00

PresentationLayer

removed thread pool again and hopefully deleting works as intended now

2021-12-14 02:20:16 +01:00