Ivan Grokhotkov 74928b9bcb ci: check for executable flag on source files		2018-05-29 20:07:45 +08:00
..
apply_bot_filter.py	…
build_examples.sh	…
check-executable.sh	ci: check for executable flag on source files	2018-05-29 20:07:45 +08:00
checkout_project_ref.py	…
configure_ci_environment.sh	…
executable-list.txt	ci: check for executable flag on source files	2018-05-29 20:07:45 +08:00
get-full-sources.sh	…
mirror-list.txt	…
mirror-submodule-update.sh	…
mirror-synchronize.sh	…
test_build_system.sh	…
test_configure_ci_environment.sh	…