Undid deletion.
This commit is contained in:
parent
801b7dd0d9
commit
10c3c9d4cf
|
@ -675,6 +675,7 @@ local function check_plugin_version(filename)
|
||||||
return true, version_match
|
return true, version_match
|
||||||
end
|
end
|
||||||
|
|
||||||
|
|
||||||
function core.load_plugins()
|
function core.load_plugins()
|
||||||
local no_errors = true
|
local no_errors = true
|
||||||
local refused_list = {
|
local refused_list = {
|
||||||
|
|
Loading…
Reference in New Issue