log src/tools/sat_defer.py @ 1575:833bdb227b16

age author description
2015-11-02 Goffi core (tools): “DelayedDeferred” implementation, which is a Deferred launched after a delay
2015-08-15 Goffi core: new tools.sat_defer module, and implementation of RTDeferredSessions: