From 9ebf44d84754adc5b64fcf612c6816c02c80462d Mon Sep 17 00:00:00 2001
From: Benjamin Barenblat <bbaren@debian.org>
Date: Sat, 2 Feb 2019 19:29:23 -0500
Subject: Imported Upstream version 8.9.0

---
 .bintray.json | 20 --------------------
 1 file changed, 20 deletions(-)
 delete mode 100644 .bintray.json

(limited to '.bintray.json')

diff --git a/.bintray.json b/.bintray.json
deleted file mode 100644
index 34a501e8..00000000
--- a/.bintray.json
+++ /dev/null
@@ -1,20 +0,0 @@
-{
-    "package": {
-        "name": "coq",
-        "repo": "coq",
-        "subject": "coq"
-    },
-
-    "version": {
-        "name": "8.8.2"
-    },
-
-    "files":
-        [
-        {"includePattern": "_build/(.*\\.dmg)", "uploadPattern": "$1",
-         "matrixParams": {
-             "override": 1 }
-        }
-        ],
-    "publish": true
-}
-- 
cgit v1.2.3