This repository has been archived on 2024-08-20. You can view files and clone it, but cannot push or open issues or pull requests.

dece e2cc152f6d help: do not show config default when it is set		2021-05-18 16:47:52 +02:00
..
browser.py	help: do not show config default when it is set	2021-05-18 16:47:52 +02:00
file.py	navigation: rework entirely URL management	2021-05-08 22:47:34 +02:00
gemini.py	linting	2021-05-16 01:30:00 +02:00
web.py	browser: split in several files	2021-03-28 18:28:35 +02:00