diff sat_frontends/tools/xmlui.py @ 2834:6cd3549e8d67

we are in dev version again
author Goffi <goffi@goffi.org>
date Sat, 02 Mar 2019 18:43:09 +0100
parents 442ab697f831
children 5ba98fd6c9a4
line wrap: on
line diff