log src/tools/trigger.py @ 2395:713cedc99752

age author description
2016-04-17 Goffi use of /usr/bin/env instead of /usr/bin/python in shebang