From d910c4db589f1a9f64ebe42703a0f33d5030a576 Mon Sep 17 00:00:00 2001 From: Daniel Kirschten Date: Mon, 20 May 2019 21:07:11 +0200 Subject: [PATCH] Restored era.mi/.project --- era.mi/.project | 17 +++++++++++++++++ 1 file changed, 17 insertions(+) create mode 100644 era.mi/.project diff --git a/era.mi/.project b/era.mi/.project new file mode 100644 index 00000000..9a89f37b --- /dev/null +++ b/era.mi/.project @@ -0,0 +1,17 @@ + + + era.mi + + + + + + org.eclipse.jdt.core.javabuilder + + + + + + org.eclipse.jdt.core.javanature + + -- 2.17.1