Merge branch 'develop' into plugin_preservetombs

develop
Najeeb Al-Shabibi 2023-10-01 17:34:53 +01:00
commit 5e5de7e7c2
2 changed files with 0 additions and 3 deletions

@ -4,8 +4,6 @@ local _ENV = mkmodule('gui.buildings')
local gui = require('gui')
local widgets = require('gui.widgets')
local dlg = require('gui.dialogs')
local utils = require('utils')
ARROW = string.char(26)

@ -5,7 +5,6 @@ local _ENV = mkmodule('gui.materials')
local gui = require('gui')
local widgets = require('gui.widgets')
local dlg = require('gui.dialogs')
local utils = require('utils')
ARROW = string.char(26)