From 2f1feccac6129c52819a43a1a421af2957367cd9 Mon Sep 17 00:00:00 2001 From: Luca Pizzamiglio Date: Sun, 9 Feb 2020 11:59:54 +0000 Subject: editors/vscode: fix a patch rename A patch moved from extra-patch to patch and this change went lost. Fix it. PR: 243994 Submitted by: maintainer (via github) Reported by: Robert Cina --- editors/vscode/files/extra-patch-build_gulpfile.extensions.js | 11 ----------- 1 file changed, 11 deletions(-) delete mode 100644 editors/vscode/files/extra-patch-build_gulpfile.extensions.js (limited to 'editors/vscode/files/extra-patch-build_gulpfile.extensions.js') diff --git a/editors/vscode/files/extra-patch-build_gulpfile.extensions.js b/editors/vscode/files/extra-patch-build_gulpfile.extensions.js deleted file mode 100644 index 63202f5c29c8..000000000000 --- a/editors/vscode/files/extra-patch-build_gulpfile.extensions.js +++ /dev/null @@ -1,11 +0,0 @@ ---- build/gulpfile.extensions.js.orig 2019-12-10 21:16:00 UTC -+++ build/gulpfile.extensions.js -@@ -162,7 +162,7 @@ const cleanExtensionsBuildTask = task.define('clean-ex - const compileExtensionsBuildTask = task.define('compile-extensions-build', task.series( - cleanExtensionsBuildTask, - task.define('bundle-extensions-build', () => ext.packageLocalExtensionsStream().pipe(gulp.dest('.build'))), -- task.define('bundle-marketplace-extensions-build', () => ext.packageMarketplaceExtensionsStream().pipe(gulp.dest('.build'))), -+// task.define('bundle-marketplace-extensions-build', () => ext.packageMarketplaceExtensionsStream().pipe(gulp.dest('.build'))), - )); - - gulp.task(compileExtensionsBuildTask); -- cgit v1.2.3