Skip to content

Commit

Permalink
8_31
Browse files Browse the repository at this point in the history
  • Loading branch information
@xinhjBrant
xinhjBrant committed Aug 1, 2022
1 parent cbd9006 commit fc3e4ee
Showing 1 changed file with 0 additions and 3 deletions.
3 changes: 0 additions & 3 deletions .gitmodules
View file
Original file line number Diff line number Diff line change
@@ -1,6 +1,3 @@
[submodule "path_to_submodule"]
path = _target/deps/mathlib
url = git://github.com/leanprover-community/mathlib/
[submodule "_target/deps/mathlib"]
path = _target/deps/mathlib
url = https://github.com/leanprover-community/mathlib

0 comments on commit fc3e4ee

Please sign in to comment.