Skip to content

Prune unnecessary inline directives#81

Merged
crisbour merged 2 commits intodevelopfrom
no-inline
Jan 27, 2026
Merged

Prune unnecessary inline directives#81
crisbour merged 2 commits intodevelopfrom
no-inline

Conversation

@crisbour
Copy link
Copy Markdown
Member

#79

@crisbour crisbour changed the title Prune unnecessary inline directives: https://github.com/aetherus-wg/Aetherus/issues/79 Prune unnecessary inline directives: [issue 79](https://github.com/aetherus-wg/Aetherus/issues/79) Jan 27, 2026
@crisbour crisbour changed the title Prune unnecessary inline directives: [issue 79](https://github.com/aetherus-wg/Aetherus/issues/79) Prune unnecessary inline directives Jan 27, 2026
@crisbour crisbour requested a review from sammorrell January 27, 2026 15:22
@crisbour crisbour self-assigned this Jan 27, 2026
@crisbour crisbour merged commit 88e8d05 into develop Jan 27, 2026
1 check passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant