#
# ChangeLog for Jenkins/tools.groovy
#
# Generated by Trac 1.2.1
# May 19, 2022, 4:26:27 AM

Thu, 03 Dec 2020 21:51:36 GMT Thierry Delisle <tdelisle@…> [8ca82de]
	* Jenkins/tools.groovy (modified)
	* Jenkinsfile (modified)

	More attempts at loading tools


Thu, 03 Dec 2020 21:37:50 GMT Thierry Delisle <tdelisle@…> [27b1ca1]
	* Jenkins/tools.groovy (added)
	* Jenkinsfile (modified)

	Modified Jenkinsfile to move out some of the helper for later reuse