diff options
| author | Ben Smith <binji@chromium.org> | 2016-09-06 09:21:16 -0700 |
|---|---|---|
| committer | Ben Smith <binji@chromium.org> | 2016-09-06 09:34:35 -0700 |
| commit | 8f1d86a7d3d2365339ba288db8bd25de4d227815 (patch) | |
| tree | 7d1f6bdbefb6cab03da495310e4fe232f819f89b /.gitmodules | |
| parent | 4b050f2a60a4e2d1b5f7cc1d5454b25ea921a372 (diff) | |
| download | wabt-8f1d86a7d3d2365339ba288db8bd25de4d227815.tar.gz wabt-8f1d86a7d3d2365339ba288db8bd25de4d227815.tar.bz2 wabt-8f1d86a7d3d2365339ba288db8bd25de4d227815.zip | |
remove squirrel stuff
It was an interesting experiment, but it is not maintained or tested.
Diffstat (limited to '.gitmodules')
| -rw-r--r-- | .gitmodules | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/.gitmodules b/.gitmodules index ded7619c..435ad379 100644 --- a/.gitmodules +++ b/.gitmodules @@ -4,9 +4,6 @@ [submodule "third_party/gtest"] path = third_party/gtest url = https://github.com/google/googletest -[submodule "third_party/squirrel"] - path = third_party/squirrel - url = https://github.com/albertodemichelis/squirrel/ [submodule "third_party/ply"] path = third_party/ply url = https://github.com/dabeaz/ply |