#
# ChangeLog for tools/travis.sh in mainline
#
# Generated by Trac 1.6
# 2025-11-01T07:50:57Z

Fri, 26 Jan 2018 07:41:31 GMT GitHub <noreply@…> [03cfe2ec]
	* .travis.yml (modified)
	* tools/travis.sh (added)

	Travis CI improvements (#16)

	Several improvements of the CI ...