log sat_frontends/jp/xmlui_manager.py @ 3221:b1c90eedbc12

age author description
Fri, 06 Mar 2020 18:51:04 +0100 Goffi jp (xmlui): added missing `disp` method in XMLUIPanel
Wed, 29 Jan 2020 10:07:00 +0100 Goffi fixed shebangs
Wed, 29 Jan 2020 09:50:54 +0100 Goffi dates update