Andreas Streichardt 5bc646ff44 Put required debian options into a script		2016-04-26 08:09:33 +00:00
..
build-deb.sh	Put required debian options into a script	2016-04-26 08:09:33 +00:00
discover.js	…
dumpAgency.sh	Add a dumpAgency script.	2016-04-19 14:51:17 +02:00
jsonQueryToYaml	…
run	Remove etcd	2016-04-05 18:41:37 +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	Modernize startLocalCluster w.r.t. xterm.	2016-04-22 14:35:47 +02:00
stopLocalCluster.sh	Remove etcd	2016-04-05 18:41:37 +02:00
unittest	WIP	2016-04-16 17:39:20 -07:00