diff options
author | Steve Mynott <steve.mynott@gmail.com> | 2018-10-30 19:51:17 +0000 |
---|---|---|
committer | Steve Mynott <steve.mynott@gmail.com> | 2018-11-11 14:54:32 +0000 |
commit | 4a219a9c9229ba63003dcaa78b778d33871a8ff2 (patch) | |
tree | fe64958bbc7f472e446dc0a994f6351a17c5dc87 /.gitmodules | |
parent | 47addd189d5496b1b73c3b1e101eace6dfe4bc90 (diff) |
remove panda-stub #118
Diffstat (limited to '.gitmodules')
-rw-r--r-- | .gitmodules | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/.gitmodules b/.gitmodules index 287863e..9d8606d 100644 --- a/.gitmodules +++ b/.gitmodules @@ -97,9 +97,6 @@ [submodule "modules/zef"] path = modules/zef url = git@github.com:ugexe/zef.git -[submodule "modules/panda-stub"] - path = modules/panda-stub - url = git@github.com:stmuk/p6-panda-stub.git [submodule "modules/oo-monitors"] path = modules/oo-monitors url = git@github.com:jnthn/oo-monitors |