Gregor Kleen b0dcbd68fe chore: bump workflows		2021-02-01 10:51:26 +01:00
..
workflows@cf7dcf58c5	chore: bump workflows	2021-02-01 10:51:26 +01:00
AbgabeH10-1.hs	Bugfix: deletion deletes files now.	2018-10-17 14:49:53 +02:00
H10-2.hs
H10-3.hs
ProMo_Uebung10.pdf