annotate frontends/src/__init__.py @ 1474:c2a498dce4b4

core (memory): fixed a double timer.cancel in Sessions
author Goffi <goffi@goffi.org>
date Tue, 18 Aug 2015 10:36:41 +0200
parents d8bb72f00eec
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source