Manuel Thalmann 214752fdd6 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