„.settings/org.eclipse.core.resources.prefs“ löschen

pull/1/head
Kai Sellmann 2023-04-19 11:20:33 +02:00
parent 1e0e847d08
commit 8c85f1cf60
1 changed files with 0 additions and 2 deletions

View File

@ -1,2 +0,0 @@
eclipse.preferences.version=1
encoding/<project>=UTF-8