Merge pull request #1494 from player-03/include.hxp

Add support for include.hxp.
This commit is contained in:
player-03
2023-04-16 14:02:27 -04:00
committed by GitHub
2 changed files with 22 additions and 11 deletions

View File

@@ -1180,7 +1180,7 @@ class CommandLineTools
if ((extension == "lime" && file != "include.lime")
|| (extension == "nmml" && file != "include.nmml")
|| (extension == "xml" && file != "include.xml")
|| extension == "hxp")
|| (extension == "hxp" && file != "include.hxp"))
{
matches.get(extension).push(path);
}