[
https://issues.jboss.org/browse/JBIDE-11319?page=com.atlassian.jira.plugi...
]
Martin Malina commented on JBIDE-11319:
---------------------------------------
I checked the PRs and one remained open even though it has been applied:
https://github.com/jbosstools/jbosstools-gwt/pull/8
I asked [~dgolovin] to close it.
Otherwise I randomly checked some plugins' manifests and they have the property set
up. I'm not sure if I should put more effort into the verification of this.
Use Eclipse-SourceReferences
----------------------------
Key: JBIDE-11319
URL:
https://issues.jboss.org/browse/JBIDE-11319
Project: Tools (JBoss Tools)
Issue Type: Enhancement
Components: build
Reporter: Mickael Istria
Assignee: Mickael Istria
Priority: Optional
Fix For: 4.2.0.Alpha1
In order to provide nice entry points to turn users into contributors, it could be
efficient to set Eclipse-SourceReferences in Manifest:
http://wiki.eclipse.org/PDE/UI/SourceReferences
--
This message was sent by Atlassian JIRA
(v6.2.6#6264)