diff options
| author | Camil Staps | 2016-06-10 20:37:56 +0200 |
|---|---|---|
| committer | Camil Staps | 2016-06-10 20:37:56 +0200 |
| commit | f42f4847bd6baebb3223d0db5f0b622035ea15c5 (patch) | |
| tree | 2e51edb75f49f65e2ac2f95879a5cc5dd9a33499 /.gitmodules | |
| parent | Merge branch 'master' of github.com:W-M-T/Berekeningsmodellen-IBC025---voorja... (diff) | |
Bomen
Diffstat (limited to '.gitmodules')
| -rw-r--r-- | .gitmodules | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/.gitmodules b/.gitmodules index 5ebd18b..4f73579 100644 --- a/.gitmodules +++ b/.gitmodules @@ -1,3 +1,6 @@ [submodule "CleanSmurf"] path = CleanSmurf url = https://github.com/camilstaps/CleanSmurf +[submodule "CleanSmurfProver"] + path = CleanSmurfProver + url = https://github.com/camilstaps/CleanSmurf |