diff options
| author | Teddy Wing | 2021-03-21 18:14:07 +0100 |
|---|---|---|
| committer | Teddy Wing | 2021-03-21 18:17:46 +0100 |
| commit | 85bf35463de38bbbd6a4cd1924222bc713dd1959 (patch) | |
| tree | 464e989d2fe98880f37ffe57504985512b649241 /userscript-header.txt | |
| parent | 3dd31fad74fe802b1a3a653dfb8a8ff49da30779 (diff) | |
| download | Peniquitous-85bf35463de38bbbd6a4cd1924222bc713dd1959.tar.bz2 | |
We're not including anything above `main.js.in`, so the top of that file
always ends up as the top of the final user script. We don't need a
separate build step to include it.
Diffstat (limited to 'userscript-header.txt')
| -rw-r--r-- | userscript-header.txt | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/userscript-header.txt b/userscript-header.txt deleted file mode 100644 index 9b7eb09..0000000 --- a/userscript-header.txt +++ /dev/null @@ -1,7 +0,0 @@ -// ==UserScript== -// @name Peniquitous -// @description Ubiquitous Ctrl-P & Ctrl-N -// @version 0.1.0 -// @namespace com.teddywing -// ==/UserScript== - |