diff frontends/src/jp/arg_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 f4e05600577b
children 5129a0506739
line wrap: on
line diff