comparison frontends/src/tools/xmltools.py @ 1869:9d9d61d53684

jp (base): fixed Jp.quit when exit code is 0
author Goffi <goffi@goffi.org>
date Wed, 02 Mar 2016 19:45:02 +0100
parents d17772b0fe22
children 2daf7b4c6756
comparison
equal deleted inserted replaced
1868:28b29381db75 1869:9d9d61d53684