From 7c3282181b9cf8c211013b5a9f06b092182dad3d Mon Sep 17 00:00:00 2001 From: Jeremy Baxter Date: Sun, 24 Dec 2023 09:04:27 +1300 Subject: [PATCH] remove lua.h from config.ld it's now in external/ --- config.ld | 1 - 1 file changed, 1 deletion(-) diff --git a/config.ld b/config.ld index 649262a..861218d 100644 --- a/config.ld +++ b/config.ld @@ -16,7 +16,6 @@ file = { ".", exclude = { "external", - "lua-5.4/lua.h", "result" } }