Manuel Thalmann 80df02ac3e 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