log src/tools/sat_defer.py @ 1535:c9ef16de3f13

age author description
Sat, 15 Aug 2015 22:13:27 +0200 Goffi core: new tools.sat_defer module, and implementation of RTDeferredSessions: