diff options
Diffstat (limited to '.gitmodules')
| -rw-r--r-- | .gitmodules | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/.gitmodules b/.gitmodules new file mode 100644 index 0000000..0abaeda --- /dev/null +++ b/.gitmodules @@ -0,0 +1,18 @@ +[submodule "Formaline"] + path = Formaline + url = git://git.khirnov.net/git/thorns/Formaline/.git +[submodule "NaNChecker"] + path = NaNChecker + url = git://git.khirnov.net/git/thorns/NaNChecker/.git +[submodule "Nice"] + path = Nice + url = git://git.khirnov.net/git/thorns/Nice/.git +[submodule "NoMPI"] + path = NoMPI + url = git://git.khirnov.net/git/thorns/NoMPI/.git +[submodule "TerminationTrigger"] + path = TerminationTrigger + url = git://git.khirnov.net/git/thorns/TerminationTrigger/.git +[submodule "TimerReport"] + path = TimerReport + url = git://git.khirnov.net/git/thorns/TimerReport/.git |