Manuel Thalmann 38b9812d97 Manage workind directories using pushd/popd		2023-01-23 16:14:55 +01:00
..
MicrosoftFonts	Manage workind directories using pushd/popd	2023-01-23 16:14:55 +01:00
NerdFont	Put dynamic expressions in quotes	2023-01-23 16:11:51 +01:00