Skip to content
This repository has been archived by the owner on Oct 27, 2022. It is now read-only.

JBIDE-11287 and JBIDE-18036 #22

Merged
merged 7 commits into from
Aug 11, 2014
Merged

Conversation

ppalaga
Copy link
Contributor

@ppalaga ppalaga commented Aug 4, 2014

No description provided.

@ppalaga
Copy link
Contributor Author

ppalaga commented Aug 4, 2014

Only the last three commits are relevant: 321b6ad, 8e82a22, 24e6138. The rest is covered in PR#21.

@dgolovin dgolovin merged commit 24e6138 into jbosstools:master Aug 11, 2014
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
2 participants