diff options
| author | Loïc Blot <nerzhul@users.noreply.github.com> | 2020-04-16 19:21:47 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-04-16 19:21:47 +0200 |
| commit | 093e79ea78c872293386bf10b76416ff284ac5b6 (patch) | |
| tree | eb31416397fb8be117cca55c855abe54846b4a1e /src/player.h | |
| parent | 57038b3cb4b48d242af8e7dc9d598edf2e1018c4 (diff) | |
| download | minetest-093e79ea78c872293386bf10b76416ff284ac5b6.tar.gz minetest-093e79ea78c872293386bf10b76416ff284ac5b6.tar.bz2 minetest-093e79ea78c872293386bf10b76416ff284ac5b6.zip | |
Drop -Wabi useless flag (#9676)
Diffstat (limited to 'src/player.h')
0 files changed, 0 insertions, 0 deletions