Enno Boland 59202a5d1f disable auto mirror		2018-07-03 12:39:40 +02:00
..
bootstrap.sh
build.sh
changed_templates.sh
fetch_upstream.sh	common/travis: change upstream path to new github org.	2018-06-16 19:38:34 +02:00
prepare.sh
set_mirror.sh	disable auto mirror	2018-07-03 12:39:40 +02:00
show_files.sh
xlint.sh