diff src/tools/xml_tools.py @ 2330:74c1dbabeec8

jp (blog/edit): pretty format XHTML before editing it
author Goffi <goffi@goffi.org>
date Thu, 13 Jul 2017 21:54:15 +0200
parents 70f23bc7859b
children 5defafc8ede6
line wrap: on
line diff