Andreas Streichardt b3f0a4956e jemalloc is not REQUIRED if explicitly requested		2016-05-11 13:33:41 +02:00
..
build-deb.sh	jemalloc is not REQUIRED if explicitly requested	2016-05-11 13:33:41 +02:00
discover.js	…
dumpAgency.sh	Improve functionality of scripts/dumpAgency.sh	2016-05-06 09:02:58 +02:00
jsonQueryToYaml	…
quickieTest.sh	Add a trivial quickie test and a convenience script.	2016-05-06 22:47:17 +02:00
run	Fix path to executable.	2016-05-02 15:53:13 +02:00
run_cygwin.sh	…
startAgency.sh	Fix agency startup. Agency not yet working.	2016-04-20 12:25:13 +02:00
startDockerCluster.sh	…
startLocalCluster.sh	Repair startLocalCluster.sh script w.r.t. XTERM and XTERMOPTIONS.	2016-05-06 22:46:23 +02:00
stopLocalCluster.sh	…
unittest	…