Jung-uk Kim fa75392bda - Update to 1.3.1. ... - Tidy up dependencies, trim Makefile header, and clean up style. Feature safe: yes		2012-11-08 18:22:11 +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.3.1.	2012-11-08 18:22:11 +00:00