# HG changeset patch
# User João Duarte <jvsDuarte08@gmail.com>
# Date 1564676470 25200
# Node ID 83541f0ff14f2d1195cee2a2019dcea131f42eb7
# Parent  91085371cfc56efa312e21f32581056cdaa3a874
core.configmanager: Added support to 'complement_lua_path'

diff -r 91085371cfc5 -r 83541f0ff14f core/configmanager.lua
--- 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;