This repository has been archived on 2024-10-24. You can view files and clone it, but cannot push or open issues or pull requests.

Gregor Kleen e5efc285e2 chore: bump recognitions-ifi.yaml		2020-12-06 17:31:07 +01:00
..
AbgabeH10-1.hs	Bugfix: deletion deletes files now.	2018-10-17 14:49:53 +02:00
H10-2.hs	Add some test files to db.hs	2018-08-06 12:36:57 +02:00
H10-3.hs	Add some test files to db.hs	2018-08-06 12:36:57 +02:00
ProMo_Uebung10.pdf	Add some test files to db.hs	2018-08-06 12:36:57 +02:00
recognitions-ifi.yaml	chore: bump recognitions-ifi.yaml	2020-12-06 17:31:07 +01:00
theses.yaml	fix(workflows): cleanup	2020-11-25 15:00:16 +01:00