This repository has been archived by the owner on Mar 16, 2024. It is now read-only.
full-automata? #516
Comments
Sign up for free
to subscribe to this conversation on GitHub.
Already have an account?
Sign in.
What is the
full-automatabranch? Is it basically a branch with the submodules already cloned? I've never used submodules before because I've been told it's evil, only subrepo.The text was updated successfully, but these errors were encountered: