comparison sat_frontends/quick_frontend/quick_list_manager.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 56f94936df1e
children 559a625a236b
comparison
equal deleted inserted replaced
2872:6b00f88316bf 2873:e1207b8ad97c