Kjeld Schouten 7f6b2e9875 remove some old scripts

2023-12-14 13:10:04 +01:00

..

build-release.sh

…

gen-cat.sh

…

pre-commit-install.bat

…

process.sh

…