1
0
Fork 0
mirror of https://github.com/luanti-org/luanti.git synced 2025-08-01 17:38:41 +00:00

Luanti rename: builtin (#15324)

This commit is contained in:
Wuzzy 2024-10-28 19:40:18 +01:00 committed by GitHub
parent 409e75b94d
commit ad4b13a0e9
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
69 changed files with 77 additions and 112 deletions

View file

@ -1,5 +1,3 @@
-- Minetest: builtin/misc.lua
local S = core.get_translator("__builtin")
--