commit 1e279c10fda443744f4baa710744c3dbb29a551d
author Shawn Pearce <sop@google.com> Sat May 18 14:58:59 2013 -0700
committer Shawn Pearce <sop@google.com> Mon May 20 11:39:10 2013 -0700
tree 0e7f718fa46e0669d5b05e42b2df8eaffa6733a4
parent 8713eb859eb4d6680f7e0da55725141aebd907e2

Include codemirror 3.13

Download and package codemirror 3.13 for inclusion in the UI.
This may eventually replace the current side-by-side viewer,
as well as offer rich online editing to make small fixes to
existing changes.

Change-Id: I483fb46d9e18164d189826eca5cb96f9a1471c7e

gerrit-gwtui/BUCK

diff --git a/gerrit-gwtui/BUCK b/gerrit-gwtui/BUCK
index dc47d82..cf38248 100644
--- a/gerrit-gwtui/BUCK
+++ b/gerrit-gwtui/BUCK
@@ -74,6 +74,7 @@
     '//lib:gwtjsonrpc_src',
     '//lib:gwtorm',
     '//lib:jsr305',
+    '//lib/codemirror:codemirror',
     '//lib/gwt:user',
     '//lib/jgit:jgit',
   ],