100644 blob c0a008a9641698ff1c009f9a26c31e7d54604f25	GoogleFormat.xml
100644 blob 402f041ca2192bc4185058d9f1347cce5e76a362	gwtui_any.launch
100644 blob dca7b451496e1da28061b8a9d9731572542ea9d8	gwtui_mac.launch
100644 blob f2dc73ea5ac766214f977060b65cf6a524d8b3f1	pgm_daemon.launch
100755 blob 14d7fc885ecbc1ec78fca68df073a64c40a6e7fb	release.sh
100755 blob c3d9417f23a6ab9a043372f306551856ddb750ba	version.sh