Add build option to provide an additional header file to the Lua compilation#159

Merged

robbielyman merged 2 commits intonatecraddock:mainfrom

hubidubi13:main

Jul 6, 2025

Commits on Jul 2, 2025

build: Add option for a user provided header file
Simon Galli
committed
docs: Add example for using lua_user_h build option
Simon Galli
committed