Skip to content

[pob1-port] Fix: Docs: Correct EmmyLua ignoreGlobs#1806

Merged
Wires77 merged 1 commit intodevfrom
pob1-pr-9821
Apr 27, 2026
Merged

[pob1-port] Fix: Docs: Correct EmmyLua ignoreGlobs#1806
Wires77 merged 1 commit intodevfrom
pob1-pr-9821

Conversation

@github-actions
Copy link
Copy Markdown
Contributor

@github-actions github-actions Bot added documentation Improvements or additions to documentation pob2 technical Hidden from release notes labels Apr 27, 2026
@Wires77 Wires77 merged commit 31dabfa into dev Apr 27, 2026
@Wires77 Wires77 deleted the pob1-pr-9821 branch April 27, 2026 16:17
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

documentation Improvements or additions to documentation pob2 technical Hidden from release notes

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants