100644 blob c0a008a9641698ff1c009f9a26c31e7d54604f25	GoogleFormat.xml
100644 blob 347ff8a48f69b45bbaeab833992ec5ae5c1a1f3f	gwtui_dbg.launch
100644 blob f2dc73ea5ac766214f977060b65cf6a524d8b3f1	pgm_daemon.launch
100755 blob 14d7fc885ecbc1ec78fca68df073a64c40a6e7fb	release.sh
100755 blob c3d9417f23a6ab9a043372f306551856ddb750ba	version.sh