diff frontends/src/quick_frontend/quick_utils.py @ 516:7ee15fbe8c08

core: added priority management in triggers
author Goffi <goffi@goffi.org>
date Sat, 20 Oct 2012 18:18:40 +0200
parents 886754295efe
children 3eeb6c865e4d
line wrap: on
line diff