diff options
author | Steve Mynott <steve.mynott@gmail.com> | 2017-10-20 12:52:22 +0100 |
---|---|---|
committer | Steve Mynott <steve.mynott@gmail.com> | 2017-10-27 10:20:14 +0100 |
commit | f97afa87f3f5b065c3dff42deae7c7d3e3ffca00 (patch) | |
tree | 3cff96489f721538531d510468738895db642be5 /.gitmodules | |
parent | f1ab57cfd1a42346cb776a76f65b71641ac393b3 (diff) |
bump 2017.07 to .10 and remove panda replacing by panda-stub
Diffstat (limited to '.gitmodules')
-rw-r--r-- | .gitmodules | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/.gitmodules b/.gitmodules index 30439cc..be7982c 100644 --- a/.gitmodules +++ b/.gitmodules @@ -97,9 +97,9 @@ [submodule "modules/zef"] path = modules/zef url = git@github.com:ugexe/zef.git -[submodule "modules/panda"] - path = modules/panda - url = git@github.com:tadzik/panda.git +[submodule "modules/panda-stub"] + path = modules/panda-stub + url = git@github.com:stmuk/panda-stub.git [submodule "modules/oo-monitors"] path = modules/oo-monitors url = git@github.com:jnthn/oo-monitors |