Skip to content

Conversation

@yuzawa-san
Copy link
Contributor

same as #2970 but with git submodule

@davisking
Copy link
Owner

Thanks for doing this too. I merged your other PR instead since I know a decent number of users get thrown off by git submodules. Although personally I use them and think they are fine. 🤷 But it's one less hurdle for users to jump though.

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