From 32cb87af902b0cd46ea26665a60f34c6d625df7d Mon Sep 17 00:00:00 2001
From: Parker Moore <parkrmoore@gmail.com>
Date: Wed, 10 Jun 2015 13:59:36 -0700
Subject: [PATCH] remove circle.yml, because we have disabled CircleCI.

---
 circle.yml | 14 --------------
 1 file changed, 14 deletions(-)
 delete mode 100644 circle.yml

diff --git a/circle.yml b/circle.yml
deleted file mode 100644
index 02259027..00000000
--- a/circle.yml
+++ /dev/null
@@ -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