comparison sat_frontends/jp/xmlui_manager.py @ 3041:72583524cfd3

doc (jp): jp commands are now fully documented: rel 232
author Goffi <goffi@goffi.org>
date Tue, 01 Oct 2019 22:49:06 +0200
parents fee60f17ebac
children d909473a76cc
comparison
equal deleted inserted replaced
3040:fee60f17ebac 3041:72583524cfd3