diff frontends/src/jp/cmd_pipe.py @ 2192:577e19724744

jp (output xml): remove blank spaces on parsing for better pretty printing
author Goffi <goffi@goffi.org>
date Mon, 13 Mar 2017 23:12:57 +0100
parents 3e168cde7a7d
children 8b37a62336c3
line wrap: on
line diff