This repository was archived by the owner on Mar 16, 2024. It is now read-only.
full-automata? #516
Comments
# for free
to subscribe to this conversation on GitHub.
Already have an account?
#.
{{ message }}
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: