Rouven Seifert d075afaac5 courses: disable phil		2024-11-12 15:12:01 +01:00
..
default.nix	courses: disable phil	2024-11-12 15:12:01 +01:00
phil.nix	courses: move into folder	2024-03-12 12:11:44 +01:00