Tweak java/jflex version 1.4.2
authorDPorts Builder <nobody@home.ok>
Wed, 12 Feb 2014 22:51:35 +0000 (14:51 -0800)
committerDPorts Builder <nobody@home.ok>
Wed, 12 Feb 2014 22:51:35 +0000 (14:51 -0800)
commitd4f2e398eff150919257b9f71f1fd7857c782045
tree93f41bf78f4f84d8ed314e75923cc3dcdc1cad2a
parentb787e8cb5cb1fc7b80db7e73aef16f50f930f700
Tweak java/jflex version 1.4.2
java/jflex/Makefile
java/jflex/files/jflex.sh.in