Érico Rolim d6c8f1b99e Disable Travis CI. ... - Remove .travis.yml, common/travis/docker.sh. - Change references to travis to be more generic. - Manual.md: Orient against using CI logs in broken= or nocross=.		2020-11-21 00:11:30 +01:00
..
build.sh
changed_templates.sh	travis/changed_templates: correct left tree-ish	2020-06-10 16:40:39 +00:00
fetch-xtools.sh
fetch_upstream.sh
license.lst	common/travis/license.lst: update to 3.10	2020-08-05 19:24:33 +02:00
prepare.sh
set_mirror.sh
show_files.sh	travis/show_files.sh: do not show files if build failed	2020-08-31 09:11:35 +02:00
xlint.sh