100644 blob c0a008a9641698ff1c009f9a26c31e7d54604f25	GoogleFormat.xml
100644 blob 402f041ca2192bc4185058d9f1347cce5e76a362	gwtui_any.launch
100644 blob dca7b451496e1da28061b8a9d9731572542ea9d8	gwtui_mac.launch
100644 blob 7aeca89805b09e76ef5a6370497cf58e5e76f201	pgm_daemon.launch
100755 blob 28188349d100012a0621481e854d90b7429e7ad8	to_jetty.sh
100755 blob dd0db870e53b94ccbe6b02d445c00f7f0bea0ef6	version.sh