Skip to content

Commit 42cd2bd

Browse files
joneugsterjoneugster
committed
random test
1 parent 77d956c commit 42cd2bd

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

Diff for: ‎.gitmodules

+1-1
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
11
[submodule "src/vscode-lean4"]
22
path = src/vscode-lean4
3-
url = git@github.com:hhu-adam/vscode-lean4.git
3+
url = https://github.com/hhu-adam/vscode-lean4.git
44
branch = monaco

0 commit comments

Comments
 (0)