From 5ee6e1ac4782ce0c2fb45f3927d210d3f1207053 Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias
Date: Thu, 2 Mar 2017 23:37:33 +0100
Subject: [ltac] Move dummy plugin to plugins folder.

This is needed to fix `Declare ML Module "ltac_plugin".
---
 plugins/ltac/ltac_plugin.mlpack | 1 +
 1 file changed, 1 insertion(+)
 create mode 100644 plugins/ltac/ltac_plugin.mlpack

(limited to 'plugins/ltac/ltac_plugin.mlpack')

diff --git a/plugins/ltac/ltac_plugin.mlpack b/plugins/ltac/ltac_plugin.mlpack
new file mode 100644
index 0000000000..6efb477cce
--- /dev/null
+++ b/plugins/ltac/ltac_plugin.mlpack
@@ -0,0 +1 @@
+Ltac_dummy
-- 
cgit v1.2.3