diff options
| author | Daniel Gultsch <daniel@gultsch.de> | 2016-02-14 18:19:11 +0100 |
|---|---|---|
| committer | Daniel Gultsch <daniel@gultsch.de> | 2016-02-14 18:19:11 +0100 |
| commit | 356199978eaef303cef7faa90280dafb0425af71 (patch) | |
| tree | a905fefcc8f6decdfc01dba75e9791e1c17070fb /src/main/res/menu/select_multiple.xml | |
| parent | 92a6e956fd90c71091c9d8348804e5f285382f32 (diff) | |
fixed server info push not showing up when unavailable
Diffstat (limited to 'src/main/res/menu/select_multiple.xml')
0 files changed, 0 insertions, 0 deletions