1 files changed, 0 insertions, 16 deletions
diff --git a/contexts/package.json b/contexts/package.json
deleted file mode 100644
index eea95f1..0000000
--- a/contexts/package.json
+++ /dev/null
@@ -1,16 +0,0 @@
-{
-    "name": "fiveui",
-    "fullName": "Five UI",
-    "license": "BSD 3",
-    "author": "Galois (http://galois.com)",
-    "contributors": [ "Rogan Creswick <creswick@galois.com>",
-                      "Trevor Elliot <trevor@galois.com>",
-                      "Benjamin Jones <bjones@galois.com>"
-                    ],
-    "version": "0.2",
-    "id": "jid1-oquzbbbog1fmxq",
-    "description": "UI Constraint Checker",
-    "lib": "data/",
-    "main": "target/firefox-main",
-    "tests": "data/fiveui/firefox/test"
-}