diff frontends/src/primitivus/profile_manager.py @ 692:e98db42cd78c

plugin text syntaxes: styles sanitisation
author Goffi <goffi@goffi.org>
date Tue, 12 Nov 2013 14:14:36 +0100
parents 49587e170f53
children 1def5b7edf9f
line wrap: on
line diff