Manuel Thalmann 60bb50d5db Fix path of temporary script		2023-04-01 14:07:20 +02:00
..
Arch	Fix path of temporary script	2023-04-01 14:07:20 +02:00
PopOS	Mute output of pushd and popd commands	2023-03-16 20:14:49 +01:00