Manuel Thalmann 9c124386c3 Remove unnecessary variables		2023-03-16 20:14:57 +01:00
..
personal.sh	Remove unnecessary variables	2023-03-16 20:14:57 +01:00
school.sh	Mute output of pushd and popd commands	2023-03-16 20:14:49 +01:00