Manuel Thalmann fc10b7d930 Fix installation of vim		2024-03-07 22:06:10 +01:00
..
personal.sh	Fix installation of vim	2024-03-07 22:06:10 +01:00
school.sh	Remove obsolete workaround	2024-03-07 00:33:29 +01:00