exu 5b529ed330 Update TODOs		2024-10-10 21:45:35 +02:00
..
in_path	Rename script	2024-10-07 20:55:08 +02:00
pieces	Fix pushd/popd for directories	2024-06-23 12:03:06 +02:00
arch-config.py	Add all the stuff from the old script as example	2022-12-07 21:36:59 +01:00
arch-config.sh	Update TODOs	2024-10-10 21:45:35 +02:00