Remove some unneeded themes/languages

These are not supported by the version of CodeMirror hosted internally
at Google, and are also not currently used.

Change-Id: Ic91267b8e3a7b17f1dcd8f66c61c0cd08ede1703
2 files changed
tree: f51bb508d89b288ff2332fc7e90812b9dd668deb
  1. gr-editor/
  2. java/
  3. .gitignore
  4. BUILD
  5. plugin.html

CodeMirror Editor

A plugin that uses CodeMirror to provide a rich code editing experience in PolyGerrit.