log sat/tools/async_trigger.py @ 2968:4979d1079127

age author description
Sat, 12 Jan 2019 12:25:31 +0100 Goffi date update
Sat, 11 Aug 2018 18:24:52 +0200 Goffi tools (trigger, async_trigger): added no_cancel argument to point and asyncPoint when a trigger must not be cancellable
Sun, 29 Jul 2018 19:22:51 +0200 Goffi core: added async TriggerManager