diff options
Diffstat (limited to 'gulpfile.js')
-rw-r--r-- | gulpfile.js | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gulpfile.js b/gulpfile.js index ca766dcce..eed6c2282 100644 --- a/gulpfile.js +++ b/gulpfile.js @@ -13,7 +13,7 @@ gulp.task('less', function(cb) { gulp .src(['themes/compact.less', 'themes/compact_night.less', 'themes/light.less', 'themes/night_blue.less', 'themes/night.less']) - .pipe(less()) + .pipe(less({javascriptEnabled: true})) .on('error', swallowError) .pipe( gulp.dest(function(f) { |