arne e8e113b24d Improve generated filenames in mkdraft		2024-07-22 21:32:07 +02:00
..
build.sh	Build in parallel	2022-10-06 23:06:23 +02:00
mkdraft.sh	Improve generated filenames in mkdraft	2024-07-22 21:32:07 +02:00