ajaxorg/ace — pull request #795 by Max13 (2012-06-05 09:39:33+00:00)
Title: Updated .gitmodules to replace the git:// protocol to https://

Updated .gitmodules to replace the git:// protocol to https:// because of possible firewall issues.