diff options
| author | Luca Pizzamiglio <pizzamig@FreeBSD.org> | 2020-02-09 11:59:54 +0000 |
|---|---|---|
| committer | Luca Pizzamiglio <pizzamig@FreeBSD.org> | 2020-02-09 11:59:54 +0000 |
| commit | 2f1feccac6129c52819a43a1a421af2957367cd9 (patch) | |
| tree | ab1a02613dc391bd56d7fc3a406262b8a116feb8 | |
| parent | Update to 0.64.0 (diff) | |
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
| -rw-r--r-- | editors/vscode/files/patch-build_gulpfile.extensions.js (renamed from editors/vscode/files/extra-patch-build_gulpfile.extensions.js) | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/editors/vscode/files/extra-patch-build_gulpfile.extensions.js b/editors/vscode/files/patch-build_gulpfile.extensions.js index 63202f5c29c8..63202f5c29c8 100644 --- a/editors/vscode/files/extra-patch-build_gulpfile.extensions.js +++ b/editors/vscode/files/patch-build_gulpfile.extensions.js |