diff options
| author | Daniel Gultsch <daniel@gultsch.de> | 2016-05-31 23:09:45 +0200 |
|---|---|---|
| committer | Daniel Gultsch <daniel@gultsch.de> | 2016-05-31 23:09:45 +0200 |
| commit | ffba53777cac07e8a3f16fb9dbbdaa61d87a09bd (patch) | |
| tree | 7118a553badecbdec4c01784c90987d74201fc38 /src/main/res/menu | |
| parent | ea6a008b39b0f669f66f3c8aec08b4deb3ece154 (diff) | |
check if session is optional
Diffstat (limited to 'src/main/res/menu')
0 files changed, 0 insertions, 0 deletions