diff options
author | Robert Zorko <robertz@gurucue.com> | 2015-12-14 15:55:39 +0100 |
---|---|---|
committer | Robert Zorko <robertz@gurucue.com> | 2015-12-14 15:55:39 +0100 |
commit | 2d4b5b535c2a3df875a0a3c97cdd25ed67275b29 (patch) | |
tree | cf0152e1f7b11deaacb51034dc597d2a5518515b /res/icon/icon-96.png | |
parent | 3fbcf26d59e6cd7e8c10cb4f3ae912810c6d8d1a (diff) |
fixed the bug with the overlay not beeing hidden after server times out
Diffstat (limited to 'res/icon/icon-96.png')
0 files changed, 0 insertions, 0 deletions