diff options
| -rw-r--r-- | .gitmodules | 3 | ||||
| m--------- | mod/group_operators | 0 |
2 files changed, 3 insertions, 0 deletions
diff --git a/.gitmodules b/.gitmodules index 27a126ffa..60f6df0e9 100644 --- a/.gitmodules +++ b/.gitmodules @@ -4,3 +4,6 @@ [submodule "mod/dokuwiki"] path = mod/dokuwiki url = git://github.com/lorea/dokuwiki.git +[submodule "mod/group_operators"] + path = mod/group_operators + url = git://github.com/lorea/group_operators.git diff --git a/mod/group_operators b/mod/group_operators new file mode 160000 +Subproject ce71a5441f2b03074f5d2dd631ead271af4dc68 |