DrMint df7d8397aa Added support for settings without JS		2024-02-02 01:13:39 +01:00
..
extensions.json	Added support for settings without JS	2024-02-02 01:13:39 +01:00
settings.json	Initial commit	2024-01-21 13:28:48 +01:00