diff options
| author | lujinwangnv <143145775+lujinwangnv@users.noreply.github.com> | 2025-05-19 21:38:53 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-05-20 00:38:53 -0400 |
| commit | 1750db9a7d4a3988c182a78f7cc62397792dc06a (patch) | |
| tree | 63157c05d835fcd6165febc8d093eee216249347 /source | |
| parent | 634e3960c2bc322bbd51fccc7ff395d9f24e35dc (diff) | |
Update build to allow setting external lua path (#7167)
* Update build to allow setting external lua path
Update the build to allow setting user-specific path for the external
module lua.
* T
* Fix an include path
Diffstat (limited to 'source')
0 files changed, 0 insertions, 0 deletions