Tweak java/jakarta-commons-codec version 1.8
authorDPorts Builder <nobody@home.ok>
Mon, 14 Oct 2013 23:44:13 +0000 (16:44 -0700)
committerDPorts Builder <nobody@home.ok>
Mon, 14 Oct 2013 23:44:13 +0000 (16:44 -0700)
commit20e6b483499322bc16f3133d6ca719034d4acc16
treeccb629aa4a76f03c94dca516578bd20898e19db1
parenteff39d0a0672a2634fcf5aedf380af0bbe22ada7
Tweak java/jakarta-commons-codec version 1.8
java/jakarta-commons-codec/Makefile