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