log src/tools/misc.py @ 309:f1a3db8ee04a

age author description
Mon, 17 Jan 2011 00:11:50 +0100 Goffi Tools: new misc library, Trigger management implementation