log sat_frontends/jp/base.py @ 3746:fa3dc4ed7906

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: