Update java/jakarta-commons-codec to version 1.8
authorAutomaton <nobody@home.ok>
Thu, 9 May 2013 20:09:13 +0000 (22:09 +0200)
committerAutomaton <nobody@home.ok>
Thu, 9 May 2013 20:09:13 +0000 (22:09 +0200)
commitf5e99ced7a2974ab27671a792904a418ce0162d3
tree596bdacf000b3d8b1b3ae8a6f0b167413cc1f44e
parentf7e94af619f72959950edf7182ffb631e8e8e0a5
Update java/jakarta-commons-codec to version 1.8
java/jakarta-commons-codec/Makefile
java/jakarta-commons-codec/distinfo