comparison sat/tools/xml_tools.py @ 2834:6cd3549e8d67

we are in dev version again
author Goffi <goffi@goffi.org>
date Sat, 02 Mar 2019 18:43:09 +0100
parents 777a582d9641
children 48985ef7682f
comparison
equal deleted inserted replaced
2833:ea5fcbcfc8e8 2834:6cd3549e8d67