diff options
author | Daniel Gultsch <daniel@gultsch.de> | 2014-12-25 10:22:47 +0100 |
---|---|---|
committer | Daniel Gultsch <daniel@gultsch.de> | 2014-12-25 10:22:47 +0100 |
commit | 384e1b4149460b81ea956b85e9ce597b2b1115cc (patch) | |
tree | 66ddb4fd1ced5536806ee4a29cbe704993faff34 /gradle | |
parent | 293e39c87a75f58f7ac5310d4b803f55a383e0d1 (diff) | |
parent | 3ada834839d414e67903a5c1644ab6bdfede0c64 (diff) |
Merge pull request #809 from pulser/server-info-fix
Show server info option when blocking is unavailable
Diffstat (limited to 'gradle')
0 files changed, 0 insertions, 0 deletions