diff options
| author | jeschli <jeschli@gmail.com> | 2018-10-26 12:25:40 +0200 |
|---|---|---|
| committer | jeschli <jeschli@gmail.com> | 2018-10-26 12:25:40 +0200 |
| commit | a6670e5090dd71aacd7c7605b12d8d3410d25daa (patch) | |
| tree | 8475a3cc3583d94959a1cc8b6effcd3b8c10a32a /.gitmodules | |
| parent | f6ad60a0c6cbac45e8ba715b24a7a37f8e2560dc (diff) | |
| parent | 24f4e8dcf0eca55378fa018a9ed980625222653d (diff) | |
Merge remote-tracking branch 'origin/master'
Diffstat (limited to '.gitmodules')
| -rw-r--r-- | .gitmodules | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/.gitmodules b/.gitmodules index c96fec73..f35a9250 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 |