Adrian Vollmer 83d3010207 Update inline LICENSE

2022-10-11 14:34:52 +02:00

..

init.css

Fix setup cfg, rename directory, add 3rd party licenses

2022-10-05 12:17:14 +02:00

init.html

Fix setup cfg, rename directory, add 3rd party licenses

2022-10-05 12:17:14 +02:00

init.js

Some refactoring; also fix anchor links

2022-10-11 14:08:20 +02:00

inject.js

Change on_scroll_to_anchor so no history entry is added

2022-10-11 14:20:09 +02:00

LICENSE

Update inline LICENSE

2022-10-11 14:34:52 +02:00

monkeypatch.js

Fix setup cfg, rename directory, add 3rd party licenses

2022-10-05 12:17:14 +02:00

pako.min.js

Fix setup cfg, rename directory, add 3rd party licenses

2022-10-05 12:17:14 +02:00