Update tla to the version based on the branch at https://github.com/S…

…ollace/TlaApi/tree/1.21-all-prs-merged
Sollace · Oct 11, 2024 · 0370c93 · 0370c93
1 parent 017f217
commit 0370c93
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 0 deletions.
diff --git a/lib/TlaApi-1.2.1-sources.jar b/lib/TlaApi-1.2.1-sources.jar
diff --git a/lib/TlaApi-1.2.1.jar b/lib/TlaApi-1.2.1.jar