Skip to content

Comments

docs: updating hints now it is a workspace repo#152

Closed
michaelneale wants to merge 1 commit intomainfrom
mic/hintsfix
Closed

docs: updating hints now it is a workspace repo#152
michaelneale wants to merge 1 commit intomainfrom
mic/hintsfix

Conversation

@michaelneale
Copy link
Collaborator

No description provided.

@lamchau
Copy link
Contributor

lamchau commented Oct 15, 2024

does #153 supersede this? same doc changes there so not sure which is which

@michaelneale
Copy link
Collaborator Author

@lamchau yeah 153 includes this.

@yingjiehe-xyz yingjiehe-xyz deleted the mic/hintsfix branch February 5, 2025 21:12
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.

2 participants