Skip to content

Conversation

@hugovk
Copy link
Member

@hugovk hugovk commented Dec 9, 2024

Fixes #216.

@AA-Turner
Copy link
Member

AA-Turner commented Dec 10, 2024

I'm not sure this is worth a dedicated file -- this is a specialist repo, I think the instructions can very reasonably go into README.

A

@hugovk
Copy link
Member Author

hugovk commented Dec 10, 2024

Moved!

@hugovk
Copy link
Member Author

hugovk commented Dec 16, 2024

Let's merge, we can adjust as needed.

@hugovk hugovk merged commit 920b6c6 into python:main Dec 16, 2024
5 checks 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.

Manually running a rebuild

2 participants