For consistency reasons, the org.jboss.tools.community.central plugin should be renamed to org.jboss.tools.central.community
org.jboss.tools.community.central should be renamed to org.jboss.tools.central.community
- Snjezana Peco (Inactive)
- Fred Bricon
- Votes:
-
0 Vote for this issue
- Watchers:
-
0 Start watching this issue
- Created:
- Updated:
- Resolved: