Skip to content

Fix variable name in Makefile#579

Merged
santisoler merged 1 commit intomainfrom
fix-variable-makefile
Sep 4, 2025
Merged

Fix variable name in Makefile#579
santisoler merged 1 commit intomainfrom
fix-variable-makefile

Conversation

@santisoler
Copy link
Member

Fix wrong variable name in Makefile.

@santisoler santisoler merged commit b8d5957 into main Sep 4, 2025
17 checks passed
@santisoler santisoler deleted the fix-variable-makefile branch September 4, 2025 20:45
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