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 /gradlew | |
parent | ea6a008b39b0f669f66f3c8aec08b4deb3ece154 (diff) |
check if session is optional
Diffstat (limited to 'gradlew')
0 files changed, 0 insertions, 0 deletions