diff options
| -rw-r--r-- | .gitmodules | 3 | ||||
| m--------- | praxisdif | 0 |
2 files changed, 3 insertions, 0 deletions
diff --git a/.gitmodules b/.gitmodules index f6d5982..2df1b80 100644 --- a/.gitmodules +++ b/.gitmodules @@ -1,3 +1,6 @@ [submodule "hugin"] path = hugin url = http://git.oftal.dk/hugin.git +[submodule "praxisdif"] + path = praxisdif + url = http://git.oftal.dk/praxisdif.git diff --git a/praxisdif b/praxisdif new file mode 160000 +Subproject 66697a015823be0bcb65341ca9c2bbdacf28ea3 |