Re: [jbosstools-dev] org.jboss.tools.seam.xml vsorg.jboss.tools.seam.pages.xml ?
These two plugins share a largish plugin.properties file which seems
to
be identical.
/org.jboss.tools.seam.xml/plugin.properties
/org.jboss.tools.seam.pages.xml/plugin.properties
Are there perhaps a lot of old messages sitting in one of these
files?
All properties in both these files are obsolete, except 'providerName' and
'pluginName'.
I will clean the files.
Slava Kabanovich
----- Original Message -----
From: "Sean Flanigan" <sflaniga(a)redhat.com>
To: <jbosstools-dev(a)lists.jboss.org>
Sent: Wednesday, April 01, 2009 9:54 AM
Subject: [jbosstools-dev] org.jboss.tools.seam.xml
vsorg.jboss.tools.seam.pages.xml ?
_______________________________________________
jbosstools-dev mailing list
jbosstools-dev(a)lists.jboss.org
https://lists.jboss.org/mailman/listinfo/jbosstools-dev