remove circle.yml, because we have disabled CircleCI.

2015-06-10 13:59:36 -07:00 · 2015-06-10 13:59:36 -07:00 · 32cb87af90
parent 80f63949cd
commit 32cb87af90
1 changed files with 0 additions and 14 deletions
--- a/circle.yml
+++ b/circle.yml
@ -1,14 +0,0 @@
-machine:
-  timezone: UTC
-  ruby:
-    version: 2.1.5
-  environment:
-    PROOF: true
-test:
-  override:
-    - script/proof -f
-general:
-  branches:
-    ignore:
-      - gh-pages # no proof script here
-      - master   # don't need to duplicate work