From 2cffd6cae5504d0994cdd095206e6ff39a7f238b Mon Sep 17 00:00:00 2001 From: Marcos Piccinini Date: Tue, 11 Aug 2015 05:59:46 -0300 Subject: [PATCH] Fix gulpfile, add fullscreen.js --- gulpfile.js | 1 + 1 file changed, 1 insertion(+) diff --git a/gulpfile.js b/gulpfile.js index 292f3c1..6179833 100644 --- a/gulpfile.js +++ b/gulpfile.js @@ -14,6 +14,7 @@ gulp.task('scripts', function() { var js_files = [ './src/js/codemirror/codemirror.js', './src/js/codemirror/continuelist.js', + './src/codemirror/fullscreen.js', './src/js/codemirror/markdown.js', './src/js/codemirror/overlay.js', './src/js/codemirror/gfm.js',