comparison sat_frontends/quick_frontend/quick_profile_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 003b8b4b56a7
children ab2696e34d29
comparison
equal deleted inserted replaced
2872:6b00f88316bf 2873:e1207b8ad97c