tree f51bb508d89b288ff2332fc7e90812b9dd668deb
parent 0a741c07f336ca7ed883967424012756835acecc
author Kasper Nilsson <kaspern@google.com> 1513199442 -0800
committer Kasper Nilsson <kaspern@google.com> 1513199516 -0800

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