Manuel Thalmann db68a6e04d Replace non-functioning command		2023-04-01 14:03:08 +02:00
..
Arch	Replace non-functioning command	2023-04-01 14:03:08 +02:00
PopOS	Mute output of pushd and popd commands	2023-03-16 20:14:49 +01:00