Add codemirror plugin to ci

Change-Id: Ic512666b2a59da191b96e3069d5b54ff85f05f4f
1 file changed
tree: aa913a4a2cb8f01180d8cc12eee605c47dd2c7a9
  1. jenkins/
  2. jenkins-docker/
  3. .gitignore