Updates to submodules

scala · May 5, 2024 · afba4bd · afba4bd
1 parent f34094f
commit afba4bd
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