Merge branch 'master' of github.com:ajaxorg/ace

This commit is contained in:
Fabian Jakobs 2011-02-23 11:01:57 +01:00
commit d58cb6153a