From d7202358a213ed2762fe8ad0f9a7ac242f7e4961 Mon Sep 17 00:00:00 2001
From: dgelessus <dgelessus@users.noreply.github.com>
Date: Thu, 1 Dec 2022 17:05:51 +0100
Subject: [PATCH] Delete leftover generated (?) MF file

---
 de.prob.ui/MF | 20 --------------------
 1 file changed, 20 deletions(-)
 delete mode 100644 de.prob.ui/MF

diff --git a/de.prob.ui/MF b/de.prob.ui/MF
deleted file mode 100644
index 7f8a2410..00000000
--- a/de.prob.ui/MF
+++ /dev/null
@@ -1,20 +0,0 @@
-Manifest-Version: 1.0
-Bundle-ManifestVersion: 2
-Bundle-Name: ProB Ui Plug-in
-Bundle-SymbolicName: de.prob.ui;singleton:=true
-Bundle-Version: 7.4.2.qualifier
-Require-Bundle: org.eclipse.ui;bundle-version="[3.5.0,4.0.0)",
- org.eclipse.core.runtime;bundle-version="[3.5.0,4.0.0)",
- org.eclipse.core.resources;bundle-version="[3.5.0,4.0.0)",
- org.eclipse.ui.ide;bundle-version="[3.5.0,4.0.0)",
- de.prob.core;bundle-version="[9.4.0,9.5.0)",
- org.eventb.core;bundle-version="[3.0.0,4.0.0)",
- org.eclipse.core.expressions;bundle-version="[3.4.101,4.0.0)",
- org.eclipse.gef;bundle-version="[3.7.0,4.0.0)",
- org.eventb.core.ast;bundle-version="[3.0.0,4.0.0)",
- org.rodinp.core;bundle-version="[1.7.0,1.9.0)"
-Bundle-ActivationPolicy: lazy
-Bundle-Vendor: HHU Düsseldorf STUPS Group
-Bundle-Activator: de.prob.ui.ProbUiPlugin
-Bundle-RequiredExecutionEnvironment: JavaSE-1.8
-Export-Package: de.prob.ui
-- 
GitLab