# HG changeset patch
# User João Duarte <jvsDuarte08@gmail.com>
# Date 1565989371 25200
# Node ID 46a5f2bf5ee0e31999bc3bfc939c40a5ec690681
# Parent  ff8de86b75f0b99e12fee03274f4c180daae21b3
core.configmanager: Removed code related to complement_lua_path

diff -r ff8de86b75f0 -r 46a5f2bf5ee0 core/configmanager.lua
--- a/core/configmanager.lua	Fri Aug 16 13:54:40 2019 -0700
+++ b/core/configmanager.lua	Fri Aug 16 14:02:51 2019 -0700
@@ -15,7 +15,6 @@
 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;
 
@@ -27,7 +26,6 @@
 -- luacheck: std none
 
 _M.resolve_relative_path = resolve_relative_path; -- COMPAT
-_M.complement_lua_path = complement_lua_path;
 
 local parser = nil;