comparison sat_frontends/tools/xmlui.py @ 2919:e4715a609d75

memory (sqlite): minor log improvment
author Goffi <goffi@goffi.org>
date Fri, 26 Apr 2019 11:57:26 +0200
parents 5ba98fd6c9a4
children 5ecce65631a2
comparison
equal deleted inserted replaced
2918:21cf8395616c 2919:e4715a609d75