diff sat_frontends/jp/xmlui_manager.py @ 3082:9211c0d8b50c

plugin manhole: fixed default value
author Goffi <goffi@goffi.org>
date Fri, 06 Dec 2019 15:19:31 +0100
parents fee60f17ebac
children d909473a76cc
line wrap: on
line diff