log

age author description
Wed, 22 Nov 2023 16:31:36 +0100 Goffi browser: new `tools` module with a first method to detect touch devices
Wed, 22 Nov 2023 16:31:36 +0100 Goffi browser (jid_search): `submit_filter` option: