##// END OF EJS Templates
Second step in two-part process to rename directories....
Second step in two-part process to rename directories. This is the actual directory rename.

File last commit:

r4187:d1addaf7 kallithea-2.2.5-r...
r4187:d1addaf7 kallithea-2.2.5-r...
Show More
changes.js
19 lines | 636 B | application/javascript | JavascriptLexer
CodeMirror.defineMode("changes", function() {
var headerSeperator = /^-+$/;
var headerLine = /^(Mon|Tue|Wed|Thu|Fri|Sat|Sun) (Jan|Feb|Mar|Apr|May|Jun|Jul|Aug|Sep|Oct|Nov|Dec) ?\d{1,2} \d{2}:\d{2}(:\d{2})? [A-Z]{3,4} \d{4} - /;
var simpleEmail = /^[\w+.-]+@[\w.-]+/;
return {
token: function(stream) {
if (stream.sol()) {
if (stream.match(headerSeperator)) { return 'tag'; }
if (stream.match(headerLine)) { return 'tag'; }
}
if (stream.match(simpleEmail)) { return 'string'; }
stream.next();
return null;
}
};
});
CodeMirror.defineMIME("text/x-rpm-changes", "changes");