Jacob 9b062f7dfb Set prefix in script		2023-06-25 19:56:00 +02:00
..
spmenu_make	Set prefix in script	2023-06-25 19:56:00 +02:00
spmenu_run	Rename some variables, allow setting prompt	2023-06-25 19:53:22 +02:00
spmenu_test	Combine the many scripts into one. The protocols/generate.sh is	2023-06-17 17:05:42 +02:00