comparison sat/tools/xml_tools.py @ 2873:e1207b8ad97c

plugin text syntaxes: disable raw HTML parsing in mardown by default
author Goffi <goffi@goffi.org>
date Mon, 25 Mar 2019 08:14:00 +0100
parents 777a582d9641
children 48985ef7682f
comparison
equal deleted inserted replaced
2872:6b00f88316bf 2873:e1207b8ad97c