fix: set iota := true in simpGlobalConfig#6909
Open
JovanGerb wants to merge 11 commits intoleanprover:masterfrom JovanGerb:simpGlobalConfig-iota
+37-56
Commits
Commits on Feb 6, 2025
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
