rsadowski a2ea42d193 update devel jenkins-2.15 ...

diff from Edward Lopez-Acosta elopezacosta A gmail D com

OK ian@

2018-11-29 14:10:10 +00:00

..

devel

update devel jenkins-2.15

2018-11-29 14:10:10 +00:00

pkg

and of course some would conflict... finish PKGSTEM changes manually

2018-09-04 12:53:16 +00:00

stable

update stable jenkins-2.138.3

2018-11-29 14:07:02 +00:00

Makefile

…

Makefile.inc

Move to latest devel and stable versions, prodded by

2017-08-14 15:59:55 +00:00