rsadowski f7928df776 Update jenkins to 2.236		2020-05-16 06:11:34 +00:00
..
devel	Update jenkins to 2.236	2020-05-16 06:11:34 +00:00
pkg
stable	Update jenkins-stable to 2.222.3	2020-05-16 06:10:02 +00:00
Makefile
Makefile.inc	replace simple PERMIT_PACKAGE_CDROM=Yes with PERMIT_PACKAGE=Yes	2019-07-12 20:44:34 +00:00