log src/tools/misc.py @ 417:f1bf8b6143b7

age author description
2011-01-16 Goffi Tools: new misc library, Trigger management implementation