From edaec6c0a3df870df470babff283ef132cbadfb2 Mon Sep 17 00:00:00 2001
From: nick_battle <nick.battle@gmail.com>
Date: Mon, 8 Jan 2024 16:04:46 +0000
Subject: [PATCH] Untracked some Eclipse .project files

---
 .project                   | 17 -----------------
 fmi2/.project              | 17 -----------------
 fmi2/cosim-model/.project  | 33 ---------------------------------
 fmi2/static-model/.project | 23 -----------------------
 4 files changed, 90 deletions(-)
 delete mode 100644 .project
 delete mode 100644 fmi2/.project
 delete mode 100644 fmi2/cosim-model/.project
 delete mode 100644 fmi2/static-model/.project

diff --git a/.project b/.project
deleted file mode 100644
index 733b0c1b..00000000
--- a/.project
+++ /dev/null
@@ -1,17 +0,0 @@
-<?xml version="1.0" encoding="UTF-8"?>
-<projectDescription>
-	<name>vdmcheck</name>
-	<comment></comment>
-	<projects>
-	</projects>
-	<buildSpec>
-		<buildCommand>
-			<name>org.eclipse.m2e.core.maven2Builder</name>
-			<arguments>
-			</arguments>
-		</buildCommand>
-	</buildSpec>
-	<natures>
-		<nature>org.eclipse.m2e.core.maven2Nature</nature>
-	</natures>
-</projectDescription>
diff --git a/fmi2/.project b/fmi2/.project
deleted file mode 100644
index 962310b8..00000000
--- a/fmi2/.project
+++ /dev/null
@@ -1,17 +0,0 @@
-<?xml version="1.0" encoding="UTF-8"?>
-<projectDescription>
-	<name>fmi2</name>
-	<comment></comment>
-	<projects>
-	</projects>
-	<buildSpec>
-		<buildCommand>
-			<name>org.eclipse.m2e.core.maven2Builder</name>
-			<arguments>
-			</arguments>
-		</buildCommand>
-	</buildSpec>
-	<natures>
-		<nature>org.eclipse.m2e.core.maven2Nature</nature>
-	</natures>
-</projectDescription>
diff --git a/fmi2/cosim-model/.project b/fmi2/cosim-model/.project
deleted file mode 100644
index c4703def..00000000
--- a/fmi2/cosim-model/.project
+++ /dev/null
@@ -1,33 +0,0 @@
-<?xml version="1.0" encoding="UTF-8"?>
-<projectDescription>
-	<name>fmi2.cosim-model</name>
-	<comment>Sonatype helps open source projects to set up Maven repositories on https://oss.sonatype.org/. NO_M2ECLIPSE_SUPPORT: Project files created with the maven-eclipse-plugin are not supported in M2Eclipse.</comment>
-	<projects>
-	</projects>
-	<buildSpec>
-		<buildCommand>
-			<name>org.eclipse.jdt.core.javabuilder</name>
-			<arguments>
-			</arguments>
-		</buildCommand>
-		<buildCommand>
-			<name>org.overture.ide.core.builder.VdmBuilder</name>
-			<arguments>
-				<dictionary>
-					<key>LANGUAGE_VERSION</key>
-					<value>vdm10</value>
-				</dictionary>
-			</arguments>
-		</buildCommand>
-		<buildCommand>
-			<name>org.eclipse.m2e.core.maven2Builder</name>
-			<arguments>
-			</arguments>
-		</buildCommand>
-	</buildSpec>
-	<natures>
-		<nature>org.eclipse.jdt.core.javanature</nature>
-		<nature>org.eclipse.m2e.core.maven2Nature</nature>
-		<nature>org.overture.ide.vdmsl.core.nature</nature>
-	</natures>
-</projectDescription>
diff --git a/fmi2/static-model/.project b/fmi2/static-model/.project
deleted file mode 100644
index e97ad136..00000000
--- a/fmi2/static-model/.project
+++ /dev/null
@@ -1,23 +0,0 @@
-<?xml version="1.0" encoding="UTF-8"?>
-<projectDescription>
-	<name>static-model</name>
-	<comment></comment>
-	<projects>
-	</projects>
-	<buildSpec>
-		<buildCommand>
-			<name>org.eclipse.jdt.core.javabuilder</name>
-			<arguments>
-			</arguments>
-		</buildCommand>
-		<buildCommand>
-			<name>org.eclipse.m2e.core.maven2Builder</name>
-			<arguments>
-			</arguments>
-		</buildCommand>
-	</buildSpec>
-	<natures>
-		<nature>org.eclipse.jdt.core.javanature</nature>
-		<nature>org.eclipse.m2e.core.maven2Nature</nature>
-	</natures>
-</projectDescription>