Merge pull request #1547 from eclipse/cd_rm_xtend_shared_ui_prefs

removed obsolete org.eclipse.xtend.shared.ui.prefs
This commit is contained in:
Christian Dietrich 2020-08-06 17:23:00 +02:00 committed by GitHub
commit b14f746cee
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
2 changed files with 0 additions and 7 deletions

View file

@ -1,3 +0,0 @@
#Tue Apr 06 14:38:13 CEST 2010
eclipse.preferences.version=1
project.specific.metamodel=true

View file

@ -1,4 +0,0 @@
#Tue Feb 16 15:24:59 CET 2010
eclipse.preferences.version=1
metamodelContributor=org.eclipse.xtend.shared.ui.core.metamodel.jdt.javabean.JavaBeanMetamodelContributor,org.eclipse.xtend.typesystem.emf.ui.EmfMetamodelContributor
project.specific.metamodel=true