File tree Expand file tree Collapse file tree 5 files changed +6
-3
lines changed
Expand file tree Collapse file tree 5 files changed +6
-3
lines changed Original file line number Diff line number Diff line change 1010# rm -rf path_to_submodule
1111[submodule "ghcide "]
1212 path = ghcide
13- # url = https://github.com/digital-asset/ghcide.git
14- url = https://github.com/alanz/ghcide.git
13+ url = https://github.com/digital-asset/ghcide.git
14+ # url = https://github.com/alanz/ghcide.git
Original file line number Diff line number Diff line change @@ -40,6 +40,7 @@ extra-deps:
4040- rope-utf16-splay-0.3.1.0
4141- shake-0.18.5
4242- syz-0.2.0.0
43+ - tasty-rerun-1.1.17
4344- temporary-1.2.1.1
4445- unix-compat-0.5.2
4546- unordered-containers-0.2.10.0
Original file line number Diff line number Diff line change @@ -31,6 +31,7 @@ extra-deps:
3131- regex-pcre-builtin-0.95.1.1.8.43
3232- regex-tdfa-1.3.1.0
3333- semialign-1.1
34+ - tasty-rerun-1.1.17
3435- temporary-1.2.1.1
3536- topograph-1
3637
Original file line number Diff line number Diff line change @@ -31,6 +31,7 @@ extra-deps:
3131- regex-pcre-builtin-0.95.1.1.8.43
3232- regex-tdfa-1.3.1.0
3333- semialign-1.1
34+ - tasty-rerun-1.1.17
3435- temporary-1.2.1.1
3536- topograph-1
3637
You can’t perform that action at this time.
0 commit comments