From fa124d8877ff5f9927a6524768774d5e68b888cc Mon Sep 17 00:00:00 2001 From: Justice Almanzar Date: Thu, 10 Aug 2023 22:14:50 +0000 Subject: build: split preload & renderer.css into D. desktop / vesktop (#1629) --- patches/eslint-plugin-simple-header@1.0.1.patch | 13 ------------- 1 file changed, 13 deletions(-) delete mode 100644 patches/eslint-plugin-simple-header@1.0.1.patch (limited to 'patches/eslint-plugin-simple-header@1.0.1.patch') diff --git a/patches/eslint-plugin-simple-header@1.0.1.patch b/patches/eslint-plugin-simple-header@1.0.1.patch deleted file mode 100644 index bb82fb1..0000000 --- a/patches/eslint-plugin-simple-header@1.0.1.patch +++ /dev/null @@ -1,13 +0,0 @@ -diff --git a/src/index.js b/src/index.js -index e8a8ee34fbafe310c75e752d59ba3a56109d67f1..6aecfe40f863823c8b115bca00537fcd78934137 100644 ---- a/src/index.js -+++ b/src/index.js -@@ -95,7 +95,7 @@ function create(ctx) { - ?? [Array.isArray(options.text) ? options.text.join("\n") : options.text]; - - /** @type {string} */ -- const src = ctx.sourceCode.getText(); -+ const src = ctx.getSourceCode().getText(); - const srcHeader = findHeader(src, syntax); - const headers = rawHeaders.map((raw) => makeComment(raw, syntax, decor)); - const trailingLines = "\n".repeat(src.slice(srcHeader.length).trim() ? 1 + newlines : 1); \ No newline at end of file -- cgit