100644 blob c0a008a9641698ff1c009f9a26c31e7d54604f25	GoogleFormat.xml
100644 blob 8a01fca14b9ea55351b5a57732a86f1990124ea1	gwtui_dbg.launch
100644 blob fd7b50fa825d6377acfb155fe260b24c9a52c4b4	pgm_daemon.launch
100755 blob 4a872a1bdb574c267b3a23c21bcf0a054d1a665c	release.sh
100755 blob c3d9417f23a6ab9a043372f306551856ddb750ba	version.sh