ajaxorg/ace — pull request #847 by nightwing (2012-07-16 19:29:10+00:00)
Title: Miscellaneous small bugfixes

cleanup support scripts
fix submodule url for gh-pages
fix #837, #495