From e418a8b26b66ce88e22cff5978823e25aab03d94 Mon Sep 17 00:00:00 2001
From: Enrico Tassi
Date: Fri, 20 Apr 2018 14:15:22 +0200
Subject: remove ssr plugin for 8.4 and 8.5

---
 mathcomp/ssreflect/plugin/trunk/ssreflect_plugin.mlpack | 2 --
 1 file changed, 2 deletions(-)
 delete mode 100644 mathcomp/ssreflect/plugin/trunk/ssreflect_plugin.mlpack

(limited to 'mathcomp/ssreflect/plugin/trunk')

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