Skip to content

Commit

Permalink
fix submodules
Browse files Browse the repository at this point in the history
  • Loading branch information
zhangir-azerbayev committed Oct 20, 2023
1 parent a980297 commit 4a8fc86
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions .gitmodules
Original file line number Diff line number Diff line change
Expand Up @@ -6,10 +6,10 @@
url = https://github.com/zhangir-azerbayev/MetaMath.git
[submodule "llemma_formal2formal"]
path = llemma_formal2formal
url = git@github.com:wellecks/llemma_formal2formal.git
url = https://github.com/wellecks/llemma_formal2formal.git
[submodule "overlap"]
path = overlap
url = git@github.com:wellecks/overlap.git
url = https://github.com/wellecks/overlap.git
[submodule "lm-evaluation-harness"]
path = lm-evaluation-harness
url = https://github.com/wellecks/lm-evaluation-harness

0 comments on commit 4a8fc86

Please sign in to comment.