Jo Vandeginste a626ae1892 Add quotes to locations in case pwd contains spaces		2015-09-11 18:19:22 +02:00
..
windows	make.bat: add Makefile functionality for Windows	2015-01-25 06:35:56 +01:00
build.sh	Add quotes to locations in case pwd contains spaces	2015-09-11 18:19:22 +02:00
dist.sh	scripts: chmod for dist	2014-05-20 12:48:17 -07:00
test.sh	Add XXX to the end of mktemp template to support more linux versions.	2015-04-12 01:48:24 +00:00
verify_no_uuid.sh	Ensure FSM also does not use UUIDs	2014-10-09 11:33:25 -07:00
website_push.sh	Minor deployment fixes	2015-01-02 16:28:56 -05:00