From c8d7052f10206beaf03cbc274d10032df46c789c Mon Sep 17 00:00:00 2001
From: "Dr. Martin Goik" <goik@hdm-stuttgart.de>
Date: Mon, 1 Oct 2018 19:02:44 +0200
Subject: [PATCH] extra directory

---
 ws/Oxygenxml/extra/files.list | 1 +
 1 file changed, 1 insertion(+)

diff --git a/ws/Oxygenxml/extra/files.list b/ws/Oxygenxml/extra/files.list
index c3b0b44e9..76cc3b943 100644
--- a/ws/Oxygenxml/extra/files.list
+++ b/ws/Oxygenxml/extra/files.list
@@ -12,3 +12,4 @@
 /usr/share/icons/hicolor/48x48/apps/eclipseOxygenxml.png
 /usr/share/icons/hicolor/64x64/apps/eclipseOxygenxml.png
 /usr/share/oxygenxml
+/usr/share/oxygenxml_extra
-- 
GitLab