diff frontends/src/tools/xmltools.py @ 1533:d749922300d0

core: removed forgotten breakpoint
author Goffi <goffi@goffi.org>
date Tue, 29 Sep 2015 17:54:21 +0200
parents 069ad98b360d
children d17772b0fe22
line wrap: on
line diff