From c25e86e6b4e8bb694d3c8e50f04a92cc33ad807d Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot
Date: Mon, 24 Jul 2017 17:41:01 +0200
Subject: Turning the ltac2 subfolder into a standalone plugin.

---
 src/ltac2_plugin.mlpack | 7 +++++++
 1 file changed, 7 insertions(+)
 create mode 100644 src/ltac2_plugin.mlpack

(limited to 'src/ltac2_plugin.mlpack')

diff --git a/src/ltac2_plugin.mlpack b/src/ltac2_plugin.mlpack
new file mode 100644
index 0000000000..3d87a8cddb
--- /dev/null
+++ b/src/ltac2_plugin.mlpack
@@ -0,0 +1,7 @@
+Tac2env
+Tac2print
+Tac2intern
+Tac2interp
+Tac2entries
+Tac2core
+G_ltac2
-- 
cgit v1.2.3