log src/tools/trigger.py @ 2236:4b1873ce6b61

age author description
Sun, 17 Apr 2016 14:45:26 +0200 Goffi use of /usr/bin/env instead of /usr/bin/python in shebang
Sun, 03 Jan 2016 16:28:30 +0100 Goffi copyright update