log sat/tools/trigger.py @ 3274:430204a3cc10

age author description
2020-01-29 Goffi fixed shebangs
2020-01-29 Goffi dates update
2019-08-13 Goffi Python 3 port:
2019-01-12 Goffi date update
2018-08-11 Goffi tools (trigger, async_trigger): added no_cancel argument to point and asyncPoint when a trigger must not be cancellable
2018-06-27 Goffi code style reformatting using black
2018-04-02 Goffi core, setup: huge cleaning: base src/tools/trigger.py@1c2380491dd1