Plugin moved

The orion-codemirror plugin is now hosted here: https://orion-codemirror.googlecode.com/git/codeMirrorPlugin.html

Please use the URL above from now on, as this page will eventually be taken down.