diff options
| author | rubenwardy <rw@rubenwardy.com> | 2020-10-04 00:33:45 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-10-04 00:33:45 +0100 |
| commit | 3250b37e32f264db04c1ca449d9feefc22fd38b7 (patch) | |
| tree | 9cb544e2e9df867bdc83f86c60d7fd912e0d0fe1 /src/serverlist.h | |
| parent | 41a6136f774a30364b6d3fd2042c9dbeb34f2109 (diff) | |
| download | minetest-3250b37e32f264db04c1ca449d9feefc22fd38b7.tar.gz minetest-3250b37e32f264db04c1ca449d9feefc22fd38b7.tar.bz2 minetest-3250b37e32f264db04c1ca449d9feefc22fd38b7.zip | |
Deprecate get_player_velocity and add_player_velocity (#10173)
Diffstat (limited to 'src/serverlist.h')
0 files changed, 0 insertions, 0 deletions