Delete org.eclipse.core.resources.prefs

This commit is contained in:
Pablo Fuente Pérez 2019-02-07 16:29:56 +01:00 committed by GitHub
parent 25f30409b1
commit 9d570d0b1e
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -1,5 +0,0 @@
eclipse.preferences.version=1
encoding//src/main/java=UTF-8
encoding//src/main/resources=UTF-8
encoding//src/test/java=UTF-8
encoding/<project>=UTF-8