Skip to content

Put makefile and instructions in the right place#17

Merged
dwilding merged 3 commits intomainfrom
refactor-makefile
Apr 2, 2025
Merged

Put makefile and instructions in the right place#17
dwilding merged 3 commits intomainfrom
refactor-makefile

Conversation

@dwilding
Copy link
Collaborator

@dwilding dwilding commented Apr 2, 2025

This PR puts @tang-mm's improvements from #6 in the right place in the reorganised repo.

@dwilding dwilding merged commit 09722ae into main Apr 2, 2025
2 checks passed
@dwilding dwilding deleted the refactor-makefile branch April 2, 2025 00:21
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