Pin submodule pointers to their remote mains #81

Merged
weichen merged 1 commits from feature/pin-submodules-20260930 into main 2026-09-30 16:34:18 +00:00
11 changed files with 11 additions and 11 deletions