ripple/ripple-dev-portal — pull request #89 by mDuo13 (2014-10-30 17:52:49+00:00)
Title: Fixes for dev portal

While checking links for the new ripple.com, I also found some problems in the old dev portal and fixed them.

Fortunately, with the redirect system Ben & I worked out, I don't have to do anything extra to backport them, so these changes should be good for the main site too