diff --git a/gulpfile.js b/gulpfile.js
index e04038c..d8d5806 100644
--- a/gulpfile.js
+++ b/gulpfile.js
@@ -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",