Tue, 23 Nov 2021 20:38:12 +0100 fix raw-xml formatting (remove XML declaration) v_0
František Kučera <franta-hg@frantovo.cz> [Tue, 23 Nov 2021 20:38:12 +0100] rev 42
fix raw-xml formatting (remove XML declaration)
Wed, 28 Jul 2021 01:40:05 +0200 configuration: --parser-option bit-string-symbol-0 bit-string-symbol-1 – custom symbols e.g. .:, -+, \/ v_0
František Kučera <franta-hg@frantovo.cz> [Wed, 28 Jul 2021 01:40:05 +0200] rev 41
configuration: --parser-option bit-string-symbol-0 bit-string-symbol-1 – custom symbols e.g. .:, -+, \/
(0) -30 -10 -2 +2 tip