Remove unused ci folder and scripts

pietrocaselani · May 3, 2019 · 87e5519 · 87e5519
1 parent a9704cb
commit 87e5519
Show file tree

Hide file tree

Showing 3 changed files with 0 additions and 12 deletions.
diff --git a/ci/master.sh b/ci/master.sh
diff --git a/ci/pull_request.sh b/ci/pull_request.sh
diff --git a/ci/travis.sh b/ci/travis.sh