mirror of
https://github.com/luanti-org/luanti.git
synced 2025-08-01 17:38:41 +00:00
Take geographic distance into account for server list ordering (#12790)
This commit is contained in:
parent
5d8a4917c5
commit
87051fca26
5 changed files with 182 additions and 14 deletions
|
@ -1,4 +1,4 @@
|
|||
_G.core = {}
|
||||
_G.core = {get_once = function(_) end}
|
||||
_G.vector = {metatable = {}}
|
||||
_G.unpack = table.unpack
|
||||
_G.serverlistmgr = {}
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue