Codemirror.css and codemirror.min.js are just updated to the newest version.


The other files are patched.

On Sat, May 31, 2014 at 2:50 PM, Sigve Sebastian Farstad
<notifications@github.com> wrote:

>> @@ -36,13 +36,14 @@
>>    min-width: 20px;
>>    text-align: right;
>>    color: #999;
>> +  -moz-box-sizing: content-box;
> have you patched this file yourself, or is it just a new version from codemirror?
> ---
> Reply to this email directly or view it on GitHub:
> https://github.com/stianjensen/wikipendium.no/pull/287/files#r13260928