É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
fetch-xtools.sh
fetch_upstream.sh
license.lst
prepare.sh
set_mirror.sh
show_files.sh
xlint.sh