Update devel/jenkins to version 2.5
authorDPorts Builder <nobody@home.ok>
Tue, 24 May 2016 00:16:12 +0000 (17:16 -0700)
committerDPorts Builder <nobody@home.ok>
Tue, 24 May 2016 00:16:12 +0000 (17:16 -0700)
commitdd0803458400bba473a94d6a8a82c7cbf6359ff7
treefdd529d4d6e577d63c11cd2fd4e95635cbbfa916
parent8b754cd76ccd6c6442dc43da719dc568d612258e
Update devel/jenkins to version 2.5
devel/jenkins/Makefile
devel/jenkins/distinfo