Prune java/jflex
authorDPorts Builder <nobody@home.ok>
Fri, 1 May 2015 12:22:48 +0000 (05:22 -0700)
committerDPorts Builder <nobody@home.ok>
Fri, 1 May 2015 12:22:48 +0000 (05:22 -0700)
commitfa59bd032110dbdb944d26696fb376b8be0f5245
treefc07012eeabde57b31eb7a3dfd220790128d427c
parent91d657ef60a97eac02b2a9a02b2176171fd649bb
Prune java/jflex
java/jflex/Makefile [deleted file]
java/jflex/distinfo [deleted file]
java/jflex/files/jflex.sh.in [deleted file]
java/jflex/pkg-descr [deleted file]
java/jflex/pkg-plist [deleted file]