jbosstools/jbosstools-website — pull request #118 by xcoulon (2014-04-17 13:20:44+00:00)
Title: JBIDE-17122 - Website: download section improvements

Setting "archived: true" for DevStudio 7.1.0.GA
Fixing "unknown" file type on some download URLs (they should not end with '/download')