Avoid using the github redirect for mdf

This commit is contained in:
Colin Schmidt
2019-03-18 08:29:35 -07:00
committed by edwardcwang
parent 0b9d74ada7
commit f5b452229a

2
.gitmodules vendored
View File

@@ -1,3 +1,3 @@
[submodule "mdf"]
path = mdf
url = https://github.com/edwardcwang/plsi-mdf.git
url = https://github.com/ucb-bar/plsi-mdf.git