Gitignore: fix ignoring directories (#266)

This commit is contained in:
Santos Gallegos
2021-04-02 17:34:30 -05:00
committed by GitHub
parent ed23e1df1c
commit 1daf99cf26

View File

@@ -103,6 +103,8 @@ local function gen_ignore_check()
local function add_toignore(content)
for s in content:gmatch("[^\r\n]+") do
-- Trim trailing / from directories.
s = s:gsub("/+$", "")
ignore_list[s] = true
end
end