log sat_frontends/jp/xmlui_manager.py @ 3280:96b9b65b4368

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