From 2b40140bb9c9e2620214fd65144af1c0fef4083a Mon Sep 17 00:00:00 2001
From: Enrico Tassi
Date: Thu, 4 Apr 2019 11:48:11 +0200
Subject: remove support for Coq 8.6

---
 plugin/v8.6/ssreflect_plugin.mlpack | 2 --
 1 file changed, 2 deletions(-)
 delete mode 100644 plugin/v8.6/ssreflect_plugin.mlpack

(limited to 'plugin/v8.6/ssreflect_plugin.mlpack')

diff --git a/plugin/v8.6/ssreflect_plugin.mlpack b/plugin/v8.6/ssreflect_plugin.mlpack
deleted file mode 100644
index 006b70f..0000000
--- a/plugin/v8.6/ssreflect_plugin.mlpack
+++ /dev/null
@@ -1,2 +0,0 @@
-Ssrmatching
-Ssreflect
-- 
cgit v1.2.3