Andreas Zweili cc5ea42752 Move scripts into options		2023-05-31 21:19:14 +02:00
..
default.nix	Move scripts into options	2023-05-31 21:19:14 +02:00
files-to-lowercase.sh	Add files-to-lowercase.sh	2022-08-08 12:00:08 +02:00
remove_special_characters.sh	replace int with string for env variable	2022-08-07 15:52:51 +02:00
replace-listings.sh	Add replace-listings	2022-08-08 16:29:06 +02:00