Skip to content

Now use short submodule names in .gitmodules#394

Merged
yantosca merged 2 commits intodev/no-diff-to-benchmarkfrom bugfix/gitmodulesMar 18, 2024

Commits

Commits on Mar 18, 2024