log src/tools/trigger.py @ 2202:7f91b894bfdf

age author description
Sun, 17 Apr 2016 14:45:26 +0200 Goffi use of /usr/bin/env instead of /usr/bin/python in shebang