Tweak java/jflex version 1.4.2
authorDPorts Builder <nobody@home.ok>
Fri, 21 Nov 2014 01:20:42 +0000 (17:20 -0800)
committerDPorts Builder <nobody@home.ok>
Fri, 21 Nov 2014 01:20:42 +0000 (17:20 -0800)
commitac89eeb7a32e67d59e1e8aa5a8326d37fca33d61
treeb6124f7c46f90cb54b2fb544411e0da21b8f7d80
parent4f7dcad6cba99d595e07b2413d7f343dad056784
Tweak java/jflex version 1.4.2
java/jflex/pkg-plist