Merged PR 73532: Remove noJeyKill

Now that the gh-pages task was removed we can remove the noJeyKill one as well
This commit is contained in:
Shahak Yosef 2020-03-08 11:37:18 +00:00
Родитель 29d66ed889
Коммит 796ed3ba73
1 изменённых файлов: 0 добавлений и 10 удалений

Просмотреть файл

@ -66,16 +66,6 @@ gulp.task("docs", 'Compile documentation from src code', function () {
;
});
gulp.task('nojekyll', 'Add .nojekyll file to docs directory', function (done) {
fs.writeFile('./docs/.nojekyll', '', function (error) {
if (error) {
throw error;
}
done();
});
});
gulp.task('compile:ts', 'Compile source files', function () {
webpackConfig.plugins = [
new webpack.BannerPlugin(webpackBanner)