[jbosstools-dev] org.jboss.tools.seam.xml vsorg.jboss.tools.seam.pages.xml ?

[Viacheslav Kabanovich]

> 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 at redhat.com>
To: <jbosstools-dev at 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 at lists.jboss.org
> https://lists.jboss.org/mailman/listinfo/jbosstools-dev