diff options
| author | Javier <dev.git@javispedro.com> | 2014-05-24 15:52:37 +0200 |
|---|---|---|
| committer | Javier <dev.git@javispedro.com> | 2014-05-24 15:52:37 +0200 |
| commit | f823791f692e6aeca3f0a855c5e10c02bb48cbde (patch) | |
| tree | e93b9f4663439b6d7217716c9b75305da55b8321 /module/menuproxy.cc | |
| parent | 09e8212de806d76d9fdc468df8fa38ee2183eb1e (diff) | |
| download | topmenu-qt-f823791f692e6aeca3f0a855c5e10c02bb48cbde.tar.gz topmenu-qt-f823791f692e6aeca3f0a855c5e10c02bb48cbde.zip | |
fix a crash that happened when the server crashed
Diffstat (limited to 'module/menuproxy.cc')
0 files changed, 0 insertions, 0 deletions