log sat/tools/async_trigger.py @ 3370:2157880ba3b4

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-07-29 Goffi core: added async TriggerManager