projects / gram.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ce76955) | patch
Fix formal checks for RefreshTimer
authorJean THOMAS <git0@pub.jeanthomas.me>
Fri, 10 Jul 2020 14:09:38 +0000 (16:09 +0200)
committerJean THOMAS <git0@pub.jeanthomas.me>
Fri, 10 Jul 2020 14:09:38 +0000 (16:09 +0200)
commitb7ecdeca26d6ae241ab438d9c1c9ee0df4f1f649
tree66a448f09c4491a1edb773926caa39d891e416bctree
parentce7695531058eefc8b28839a59cf3ed2511adc60commit | diff
Fix formal checks for RefreshTimer
gram/core/refresher.py diff | blob | history