Manuel Thalmann 86a4722a89 Manually fix broken codium script		2023-06-12 22:53:07 +02:00
..
personal.sh	Manually fix broken codium script	2023-06-12 22:53:07 +02:00
school.sh	Add texlive	2023-06-03 12:36:09 +02:00