jboss-developer/www.jboss.org — pull request #262 by pmuir (2014-06-07 10:55:47+00:00)
Title: Download instructions button. Fixes DEVELOPER-666

Replaces #261 (based on master, not 1.0.x)