classroom/roles/notepad++
2024-09-16 11:04:03 +02:00
..
tasks Add old sagemath config int he hopes that we can later uncomment it 2024-09-16 11:04:03 +02:00