From 0e36c8f0247cbd814cd82592e2722b052283b495 Mon Sep 17 00:00:00 2001
From: Enrico Tassi
Date: Thu, 16 Jun 2016 11:53:53 +0200
Subject: Port build system to trunk (ssrmatching merged in Coq)

---
 mathcomp/ssreflect/plugin/trunk/ssreflect_plugin.mlpack | 2 ++
 1 file changed, 2 insertions(+)
 create mode 100644 mathcomp/ssreflect/plugin/trunk/ssreflect_plugin.mlpack

(limited to 'mathcomp/ssreflect/plugin/trunk/ssreflect_plugin.mlpack')

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