JBIDE-13804, JBDS-2490 JBoss Tools Central Discovery plugin has moved to https://github.com/jbosstools/jbosstools-discovery; remove old READMEs and deprecation notes; add new note to root README.md >> master #92

wants to merge 1 commit into


None yet

2 participants

JBoss Tools member

No description provided.

JBoss Tools member

PR applied in master. I forgot to close it here.

@fbricon fbricon closed this Apr 10, 2013
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment