luanti-org/luanti
1
0
Fork 0
mirror of https://github.com/luanti-org/luanti.git synced 2025-10-12 16:15:20 +02:00
Code Activity

Add AreaStore custom ID API

Browse Source
This commit is contained in:
ShadowNinja
2015-10-30 20:38:22 -04:00
parent 821551a266
commit 3ce6642a26
5 changed files with 14 additions and 7 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
builtin/game/features.lua
View File

@@ -8,6 +8,7 @@ core.features = {
use_texture_alpha = true,
no_legacy_abms = true,
texture_names_parens = true,
area_store_custom_ids = true,
}
function core.has_feature(arg)