From 8d2175b2cf8c91c6dc681b2d7f6279dd104b5830 Mon Sep 17 00:00:00 2001
From: Sebastian Krings <sebastian@krin.gs>
Date: Wed, 18 Nov 2015 11:23:42 +0100
Subject: [PATCH] use parser from maven central, bump parser version

---
 org.eventb.texteditor.parsers/META-INF/MANIFEST.MF | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/org.eventb.texteditor.parsers/META-INF/MANIFEST.MF b/org.eventb.texteditor.parsers/META-INF/MANIFEST.MF
index 04a6a22..3e3b838 100644
--- a/org.eventb.texteditor.parsers/META-INF/MANIFEST.MF
+++ b/org.eventb.texteditor.parsers/META-INF/MANIFEST.MF
@@ -2,7 +2,7 @@ Manifest-Version: 1.0
 Bundle-ManifestVersion: 2
 Bundle-Name: Parsers for Camille
 Bundle-SymbolicName: org.eventb.texteditor.parsers
-Bundle-Version: 3.1.1.qualifier
+Bundle-Version: 3.1.2.qualifier
 Bundle-Activator: org.eventb.texteditor.parsers.Activator
 Require-Bundle: org.eclipse.core.runtime
 Bundle-RequiredExecutionEnvironment: JavaSE-1.7
-- 
GitLab