comparison src/tools/frontends/misc.py @ 692:e98db42cd78c

plugin text syntaxes: styles sanitisation
author Goffi <goffi@goffi.org>
date Tue, 12 Nov 2013 14:14:36 +0100
parents 903c4749de15
children f610864eb7a5
comparison
equal deleted inserted replaced
691:481e0f8ae47c 692:e98db42cd78c