Updates to submodules

scala · May 5, 2024 · 74ca04b · 74ca04b
1 parent 3c33345
commit 74ca04b
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 3 deletions.
diff --git a/community-build/community-projects/discipline b/community-build/community-projects/discipline
diff --git a/community-build/community-projects/scala-stm b/community-build/community-projects/scala-stm
diff --git a/community-build/community-projects/verify b/community-build/community-projects/verify