Jimmy Berry
|
3d6852a52c
|
userscript/origin: rework to handle requests and interface link.
|
2019-05-13 21:54:24 -05:00 |
|
Jimmy Berry
|
ed26d9219d
|
userscript/origin: do not show failed when no OriginConfig.
Rather it should be assumed that the project does not intend to have
origin information.
|
2019-05-13 17:36:35 -05:00 |
|
Ludwig Nussel
|
d7ba2a2891
|
userscript/origin.user.js: nice icons
spinner and such
|
2019-05-03 13:05:21 +02:00 |
|
Jimmy Berry
|
39e9f601f2
|
userscript/origin: rename to include user.js suffix.
Without does not trigger install via extension when viewed.
|
2019-04-18 10:02:45 -05:00 |
|