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

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