log libervia/web/pages/_browser/tools.py @ 1612:ebd538cb26cb default tip @

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