diff options
| author | SmallJoker <SmallJoker@users.noreply.github.com> | 2016-04-15 14:37:09 +0200 |
|---|---|---|
| committer | est31 <est31@users.noreply.github.com> | 2016-04-15 14:37:09 +0200 |
| commit | d82c5da0dccb1f30250725d17c3f373aacdda0e2 (patch) | |
| tree | 4f90f0f47d4d7554727661782a9b2c359f865747 /fonts/mono_dejavu_sans_280.png | |
| parent | 6530ed4dd8e8304a6f7769b05bd776535c9c3abc (diff) | |
| download | minetest-d82c5da0dccb1f30250725d17c3f373aacdda0e2.tar.gz minetest-d82c5da0dccb1f30250725d17c3f373aacdda0e2.tar.bz2 minetest-d82c5da0dccb1f30250725d17c3f373aacdda0e2.zip | |
mainmenu: Tidy up logic in is_server_protocol_compat() (#3997)
Apply de morgan to simplify the logic.
Diffstat (limited to 'fonts/mono_dejavu_sans_280.png')
0 files changed, 0 insertions, 0 deletions