Talia 7824cbd7d1 Improve scratch script ... It now execs bash, so the process chain doesn't get needlessly long with nested calls to the script.		2018-11-29 08:54:00 +01:00
..
scratch	Improve scratch script	2018-11-29 08:54:00 +01:00