commit | 78b5f638bef0506a8e13f6755b3d4d13bb51f673 | [log] [tgz] |
---|---|---|
author | Zhenkai Zhu <zhenkai@cs.ucla.edu> | Tue Sep 25 14:38:07 2012 -0700 |
committer | Zhenkai Zhu <zhenkai@cs.ucla.edu> | Tue Sep 25 14:38:07 2012 -0700 |
tree | dc0c06516319944a2f1ebccd106a73e3ae9ea8cd | |
parent | 652386768da79ceec8af09de48903d77f21c0afc [diff] | |
parent | 0ea2ff5671f8e68da8ae31053ea93921d47326bf [diff] |
Merge branch 'master' into dev
diff --git a/.gitmodules b/.gitmodules index cd321e8..77d0107 100644 --- a/.gitmodules +++ b/.gitmodules
@@ -1,3 +1,3 @@ [submodule "sync"] path = sync - url = git@github.com:zhenkai/sync.git + url = git://github.com/zhenkai/sync.git