comparison 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
comparison
equal deleted inserted replaced
2833:ea5fcbcfc8e8 2834:6cd3549e8d67