Remove tab list addon from gulp file

patch-ionaru
Wes Cossick 9 years ago
parent e18beb56f7
commit 0b48f1dc01

@ -19,7 +19,6 @@ gulp.task("downloads-codemirror", function(callback) {
var download_urls = [
"https://raw.githubusercontent.com/codemirror/CodeMirror/master/lib/codemirror.js",
"https://raw.githubusercontent.com/codemirror/CodeMirror/master/addon/edit/continuelist.js",
//"https://raw.githubusercontent.com/codemirror/CodeMirror/master/addon/edit/tablist.js", //waiting for PRs
"https://raw.githubusercontent.com/codemirror/CodeMirror/master/addon/display/fullscreen.js",
"https://raw.githubusercontent.com/codemirror/CodeMirror/master/addon/mode/overlay.js",
"https://raw.githubusercontent.com/codemirror/CodeMirror/master/mode/gfm/gfm.js",

Loading…
Cancel
Save