diff options
author | Valerio Virgillito | 2012-02-15 16:09:47 -0800 |
---|---|---|
committer | Valerio Virgillito | 2012-02-15 16:09:47 -0800 |
commit | d366c0bd1af6471511217ed574083e15059519b5 (patch) | |
tree | c8c9f9af761457e3c5f4c6774fb0fbba851df0c4 /js/codemirror/version.txt | |
parent | 997ce3fb65f27b3d6f331f63b5dc22d3c7fb8f1e (diff) | |
parent | b85bfb54aaca3ccca3c1ef09115de925cd67f4e9 (diff) | |
download | ninja-d366c0bd1af6471511217ed574083e15059519b5.tar.gz |
Merge branch 'refs/heads/integration'
Diffstat (limited to 'js/codemirror/version.txt')
-rw-r--r-- | js/codemirror/version.txt | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/js/codemirror/version.txt b/js/codemirror/version.txt deleted file mode 100644 index 7a907ac1..00000000 --- a/js/codemirror/version.txt +++ /dev/null | |||
@@ -1 +0,0 @@ | |||
1 | Codemirror Version: 2.12 \ No newline at end of file | ||