This website requires JavaScript.
Explore
Help
Sign In
luanti-org
/
luanti
Watch
1
Star
0
Fork
0
You've already forked luanti
mirror of
https://github.com/luanti-org/luanti.git
synced
2025-11-30 12:43:49 +01:00
Code
Activity
Files
aca501df8c0ec573b21d5116af7ee1b315416fd1
luanti
/
builtin
/
misc.lua
Perttu Ahola
bf8cfce50e
Add ObjRef:is_player() and modify ObjRef:get_player_name() to always return a string to aid better inter-object compatibility of code that assumes objects to be players
2012-06-03 22:31:01 +03:00
2.4 KiB
Raw
Blame
History
View Raw
View Git Blame
Copy Permalink