comparison frontends/src/wix/profile_manager.py @ 516:7ee15fbe8c08

core: added priority management in triggers
author Goffi <goffi@goffi.org>
date Sat, 20 Oct 2012 18:18:40 +0200
parents 2a072735e459
children 6970ab58b020
comparison
equal deleted inserted replaced
515:29b5ef129488 516:7ee15fbe8c08