diff options
author | Yuchen Pei <hi@ypei.me> | 2022-07-28 15:32:10 +1000 |
---|---|---|
committer | Yuchen Pei <hi@ypei.me> | 2022-07-28 15:32:10 +1000 |
commit | 5b10a10743b8459f64fe83e0ff420f69da79c9a4 (patch) | |
tree | c61904d688247790181d4955a4074b8c94302c03 /nontrivial utility/README | |
parent | b98cb70b1bcd5b211aaa5d2675f96416911c0647 (diff) |
Moving scripts and utilities into a new utilities dir
Diffstat (limited to 'nontrivial utility/README')
-rw-r--r-- | nontrivial utility/README | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/nontrivial utility/README b/nontrivial utility/README deleted file mode 100644 index 1947bd0..0000000 --- a/nontrivial utility/README +++ /dev/null @@ -1,4 +0,0 @@ - -A utility that generates the JSON that the background script uses to determine if something is user defined, trivial or nontrivial. - -It is important to recognize that the objects that this script finds are likely dependent on what browser this script is running on since it gets the list by reading the contents of the global object. Make sure this is run on an up to date browser. |