Add GitHub workflow (#149)

This commit is contained in:
David Leal
2020-03-25 11:46:35 -06:00
committed by GitHub
parent c0bd9977be
commit 606ba6a1a3
8 changed files with 37 additions and 11 deletions

View File

@ -1,6 +1,6 @@
-- Based on 4itemnames mod by 4aiman
local item_names = {} -- [player_name] = { hud, dtime, itemname }
local item_names = {} -- [player_name] = { hud, dtime, itemname }
local dlimit = 3 -- HUD element will be hidden after this many seconds
local air_hud_mod = minetest.get_modpath("4air")
local hud_mod = minetest.get_modpath("hud")