diff options
author | makefu <github@syntax-fehler.de> | 2018-10-07 23:12:16 +0200 |
---|---|---|
committer | makefu <github@syntax-fehler.de> | 2018-10-07 23:12:16 +0200 |
commit | 91023a11ebae6794caaecc882892da7f90deea28 (patch) | |
tree | 5bfd29cf49b1248cff80c4e001b0bf78b972ff26 /.gitmodules | |
parent | 9104af869e8c8ce299fc2ddbf7f2631bbbf48b1e (diff) | |
parent | 6b08d5aa46adc80d8a1ab4ed1d3e320c61a19f01 (diff) |
Merge remote-tracking branch 'lass/18.09' into 18.09
Diffstat (limited to '.gitmodules')
-rw-r--r-- | .gitmodules | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/.gitmodules b/.gitmodules index c96fec739..f35a9250d 100644 --- a/.gitmodules +++ b/.gitmodules @@ -1,3 +1,6 @@ [submodule "submodules/nix-writers"] path = submodules/nix-writers url = http://cgit.krebsco.de/nix-writers +[submodule "submodules/krops"] + path = submodules/krops + url = https://cgit.krebsco.de/krops |