comparison 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
comparison
equal deleted inserted replaced
691:481e0f8ae47c 692:e98db42cd78c