log src/tools/trigger.py @ 1379:da2ea16fabc6

age author description
2015-03-19 Goffi renamed tools.misc to tools.trigger base src/tools/misc.py@44c811b8c2f0