New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Cleanup leftover references to hal/ #65

Merged

phaubertin merged 1 commit into main from chore_cleanup_hal_leftovers

Oct 20, 2024

Owner

phaubertin commented Oct 20, 2024

Cleanup leftover references to hal/.
Fix some broken links in ducumentation.


          Cleanup

e0ac5c7

phaubertin merged commit 57b0f94 into main

2 checks passed

phaubertin deleted the chore_cleanup_hal_leftovers branch

October 20, 2024 18:19

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet