Update user.js

 Added dividing lines for each prefs to make it easier to read.
 Sorted rules
 General text optimization
 Added MIT license

no prefs has been added or modified in this update. I prefer to isolate it from future changes as it would be difficult and uncomfortable to find what has changed due to the addition of all the divisors.
This commit is contained in:
quindecim 2019-05-02 09:06:56 +00:00 committed by GitHub
parent be066db48c
commit 61386840c9
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 248 additions and 58 deletions

306
user.js

File diff suppressed because it is too large Load Diff