CI: unhide .ci directory

makes it easier to understand the CI structure and find things.
PX4 · Aug 31, 2018 · 5046135 · 5046135
1 parent 9246110
commit 5046135
Show file tree

Hide file tree

Showing 3 changed files with 0 additions and 0 deletions.
diff --git a/.ci/Jenkinsfile-SITL_tests → ci/Jenkinsfile-SITL_tests b/.ci/Jenkinsfile-SITL_tests → ci/Jenkinsfile-SITL_tests
diff --git a/.ci/Jenkinsfile-compile → ci/Jenkinsfile-compile b/.ci/Jenkinsfile-compile → ci/Jenkinsfile-compile
diff --git a/.ci/Jenkinsfile-hardware → ci/Jenkinsfile-hardware b/.ci/Jenkinsfile-hardware → ci/Jenkinsfile-hardware