extended dt with kbd tags

[rust.git] / .gitmodules

diff --git a/.gitmodules b/.gitmodules
index d5ae25646547f8be4ec143c30e2ba3ba305c043d..0a1188e83eae673234ed1e27df9e3fd61d7ea986 100644 (file)
--- a/.gitmodules
+++ b/.gitmodules
@@ -39,3 +39,12 @@
 [submodule "src/tools/rustfmt"]
        path = src/tools/rustfmt
        url = https://github.com/rust-lang-nursery/rustfmt.git
+[submodule "src/tools/miri"]
+       path = src/tools/miri
+       url = https://github.com/solson/miri.git
+[submodule "src/dlmalloc"]
+       path = src/dlmalloc
+       url = https://github.com/alexcrichton/dlmalloc-rs.git
+[submodule "src/binaryen"]
+       path = src/binaryen
+       url = https://github.com/alexcrichton/binaryen.git