core/configmanager.lua
changeset 10202 83541f0ff14f
parent 9880 d812031c8716
child 10210 46a5f2bf5ee0
--- a/core/configmanager.lua	Thu Aug 01 09:12:28 2019 -0700
+++ b/core/configmanager.lua	Thu Aug 01 09:21:10 2019 -0700
@@ -15,6 +15,7 @@
 local deps = require"util.dependencies";
 local resolve_relative_path = require"util.paths".resolve_relative_path;
 local glob_to_pattern = require"util.paths".glob_to_pattern;
+local complement_lua_path = require"util.paths".complement_lua_path;
 local path_sep = package.config:sub(1,1);
 local get_traceback_table = require "util.debug".get_traceback_table;
 
@@ -26,6 +27,7 @@
 -- luacheck: std none
 
 _M.resolve_relative_path = resolve_relative_path; -- COMPAT
+_M.complement_lua_path = complement_lua_path;
 
 local parser = nil;