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 eed6c2282..9d09e984e 100644 --- a/gulpfile.js +++ b/gulpfile.js @@ -12,7 +12,7 @@ function swallowError(error) { gulp.task('less', function(cb) { gulp .src(['themes/compact.less', 'themes/compact_night.less', - 'themes/light.less', 'themes/night_blue.less', 'themes/night.less']) + 'themes/light.less', 'themes/light-high-contrast.less', 'themes/night_blue.less', 'themes/night.less']) .pipe(less({javascriptEnabled: true})) .on('error', swallowError) .pipe( |