log frontends/src/jp/output_xml.py @ 2380:59636c4db2d0

age author description
Mon, 13 Mar 2017 23:12:57 +0100 Goffi jp (output xml): remove blank spaces on parsing for better pretty printing
Sun, 12 Mar 2017 23:34:19 +0100 Goffi jp (outputs): new xml and list_xml outputs, handling pretty formatting and syntax highlighting