speedie aa33711795 Replace read -r code with mapfile ... This may break compatibility with Bash 3, but that shouldn't really matter much.		2023-06-23 00:49:56 +02:00
..
spmenu_make	Combine the many scripts into one. The protocols/generate.sh is	2023-06-17 17:05:42 +02:00
spmenu_run	Replace read -r code with mapfile	2023-06-23 00:49:56 +02:00
spmenu_test	Combine the many scripts into one. The protocols/generate.sh is	2023-06-17 17:05:42 +02:00