[jbosstools-issues] [JBoss JIRA] (TOOLSDOC-735) update docs to use new name
[
https://issues.jboss.org/browse/TOOLSDOC-735?page=com.atlassian.jira.plug...
]
Nick Boldt updated TOOLSDOC-735:
--------------------------------
Fix Version/s: 10.0.0.GA
update docs to use new name
---------------------------
Key: TOOLSDOC-735
URL: https://issues.jboss.org/browse/TOOLSDOC-735
Project: Documentation for JBoss Tools and Developer Studio
Issue Type: Task
Components: General documentation issues
Reporter: Max Rydahl Andersen
Priority: Optional
Fix For: 10.0.0.GA
--
This message was sent by Atlassian JIRA
(v6.4.11#64026)