Skip to content

Fix install destation of headers#86

Merged
katajakasa merged 1 commit into
katajakasa:masterfrom
john-tornblom:fix-head-install-dest
Aug 6, 2025
Merged

Fix install destation of headers#86
katajakasa merged 1 commit into
katajakasa:masterfrom
john-tornblom:fix-head-install-dest

Conversation

@john-tornblom

Copy link
Copy Markdown
Contributor

Just a minor typo

@katajakasa katajakasa merged commit c1bac52 into katajakasa:master Aug 6, 2025
6 checks passed
@katajakasa

Copy link
Copy Markdown
Owner

Thanks!

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.

2 participants