log sat_frontends/jp/base.py @ 3733:6cc39a3b8c14

age author description
Fri, 12 Nov 2021 17:21:24 +0100 Goffi merge bookmark @
Sat, 06 Nov 2021 18:53:00 +0100 Goffi cli (base): use `XTERM_VERSION` to detect XTerm:
Sat, 06 Nov 2021 17:09:28 +0100 Goffi cli (debug/theme): display currently used background