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 4738e495b2 browser: add command to show page info		2021-05-24 20:09:34 +02:00
..
browser.py	browser: add command to show page info	2021-05-24 20:09:34 +02:00
file.py	navigation: rework entirely URL management	2021-05-08 22:47:34 +02:00
gemini.py	browser: add command to show page info	2021-05-24 20:09:34 +02:00
web.py	browser: split in several files	2021-03-28 18:28:35 +02:00