[jboss-user] [JBoss Tools] New message: "Re: Problem creating local mirror of JBoss Tools for 3.1 final"

User development, A new message was posted in the thread "Problem creating local mirror of JBoss Tools for 3.1 final": http://community.jboss.org/message/532911#532911 Author : Denis Golovin Profile : http://community.jboss.org/people/dgolovin Message: -------------------------------------------------------------- +1 for this option   simple and elegant -------------------------------------------------------------- To reply to this message visit the message page: http://community.jboss.org/message/532911#532911