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 347b5a81cc browser: open editor to view/edit sources & pages		2021-04-16 19:30:33 +02:00
..
browser.py	browser: open editor to view/edit sources & pages	2021-04-16 19:30:33 +02:00
file.py	browser: split in several files	2021-03-28 18:28:35 +02:00
gemini.py	browser: split in several files	2021-03-28 18:28:35 +02:00
web.py	browser: split in several files	2021-03-28 18:28:35 +02:00