Anton Maklakov 35609de417 CI: Move the ci-related staff to a separate directory		2017-06-30 11:57:07 +08:00
..
build_examples.sh	CI: Move the ci-related staff to a separate directory	2017-06-30 11:57:07 +08:00
configure_ci_environment.sh	CI: Move the ci-related staff to a separate directory	2017-06-30 11:57:07 +08:00
test_build_system.sh	CI: Move the ci-related staff to a separate directory	2017-06-30 11:57:07 +08:00
test_configure_ci_environment.sh	CI: Move the ci-related staff to a separate directory	2017-06-30 11:57:07 +08:00