diff tools/xml_tools.py @ 204:b2e1a13ed596

misc minors fixed before release
author Goffi <goffi@goffi.org>
date Fri, 20 Aug 2010 01:15:58 +0800
parents 9ee4a1d0d7fb
children e178e8f6d13a
line wrap: on
line diff