diff options
Diffstat (limited to '.gitmodules')
| -rw-r--r-- | .gitmodules | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/.gitmodules b/.gitmodules index 617dad33..ecc16ee7 100644 --- a/.gitmodules +++ b/.gitmodules | |||
| @@ -1,3 +1,12 @@ | |||
| 1 | [submodule "trivmix"] | 1 | [submodule "trivmix"] |
| 2 | path = trivmix | 2 | path = trivmix |
| 3 | url = git://git.yggdrasil.li/trivmix | 3 | url = git://git.yggdrasil.li/trivmix |
| 4 | [submodule "beuteltier"] | ||
| 5 | path = beuteltier | ||
| 6 | url = git://git.yggdrasil.li/beuteltier | ||
| 7 | [submodule "opossum"] | ||
| 8 | path = opossum | ||
| 9 | url = git://git.yggdrasil.li/opossum | ||
| 10 | [submodule "wombat"] | ||
| 11 | path = wombat | ||
| 12 | url = git://git.yggdrasil.li/wombat | ||