branch | cvs_MAIN |
changeset 1039 | 24351c7340ac |
parent 1024 | 9a2c72150fef |
child 1040 | 4a647c8034ab |
--- a/SmallSense__Manager.st Fri Jul 14 13:41:49 2017 +0200 +++ b/SmallSense__Manager.st Fri Jul 14 14:19:21 2017 +0200 @@ -58,11 +58,12 @@ self flushSingleton " - self flushSingleton + self flush " "Created: / 16-12-2011 / 01:37:56 / Jan Vrany <jan.vrany@fit.cvut.cz>" "Modified: / 21-11-2014 / 17:34:08 / Jan Vrany <jan.vrany@fit.cvut.cz>" + "Modified (comment): / 14-07-2017 / 13:47:12 / cg" ! flushSingleton