From 6d2802075606dcddb02dd13cbaf38ff76f8bf242 Mon Sep 17 00:00:00 2001
From: Maxime Dénès
Date: Thu, 23 Mar 2017 01:13:38 +0100
Subject: Add empty Extraction.v and FunInd.v to prepare landing of PR#220.

This way, after we merge PR#220, scripts can be fixed in a way that is
compatible with the 8.6 and trunk branches.
---
 plugins/funind/FunInd.v   | 0
 plugins/funind/vo.itarget | 1 +
 2 files changed, 1 insertion(+)
 create mode 100644 plugins/funind/FunInd.v

(limited to 'plugins/funind')

diff --git a/plugins/funind/FunInd.v b/plugins/funind/FunInd.v
new file mode 100644
index 0000000000..e69de29bb2
diff --git a/plugins/funind/vo.itarget b/plugins/funind/vo.itarget
index 33c9683028..a17a5ec122 100644
--- a/plugins/funind/vo.itarget
+++ b/plugins/funind/vo.itarget
@@ -1 +1,2 @@
+FunInd.vo
 Recdef.vo
-- 
cgit v1.2.3