comparison frontends/src/tools/xmlui.py @ 1214:ed3b01ed70d7

memory: profileSessions.profileGetUnique was not resetting the timer
author souliane <souliane@mailoo.org>
date Mon, 22 Sep 2014 18:42:54 +0200
parents 0a448c947038
children f91e7028e2c3
comparison
equal deleted inserted replaced
1213:b5928601d7aa 1214:ed3b01ed70d7