Delete obsolete Eclipse settings

caprica · Jan 13, 2023 · 7e0fead · 7e0fead
1 parent 8843556
commit 7e0fead
Show file tree

Hide file tree

Showing 3 changed files with 0 additions and 81 deletions.
diff --git a/.settings/org.eclipse.core.resources.prefs b/.settings/org.eclipse.core.resources.prefs
diff --git a/.settings/org.eclipse.jdt.core.prefs b/.settings/org.eclipse.jdt.core.prefs
diff --git a/.settings/org.eclipse.m2e.core.prefs b/.settings/org.eclipse.m2e.core.prefs