Jung-uk Kim 4021f1476f Fix javaws launcher. This shell script now uses bash extensions.		2012-03-06 00:38:48 +00:00
..
patch-launcher-javaws.in	Fix javaws launcher. This shell script now uses bash extensions.	2012-03-06 00:38:48 +00:00
patch-Makefile.in	Update to 1.2.	2012-03-05 23:51:06 +00:00