É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_upstream.sh

…

fetch-xtools.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

…