Skip to content

More Makefile improvements#342

Merged
JeffLIrion merged 1 commit intomasterfrom
makefile2
Oct 19, 2023
Merged

More Makefile improvements#342
JeffLIrion merged 1 commit intomasterfrom
makefile2

Conversation

@JeffLIrion
Copy link
Owner

No description provided.

@JeffLIrion JeffLIrion merged commit a06ac98 into master Oct 19, 2023
@JeffLIrion JeffLIrion deleted the makefile2 branch October 19, 2023 04:33
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