diff options
| author | tv <tv@krebsco.de> | 2018-10-27 15:02:39 +0200 |
|---|---|---|
| committer | tv <tv@krebsco.de> | 2018-10-27 15:02:39 +0200 |
| commit | 212bc39249f9792cbedf2e9a6b3fed90c52c63e7 (patch) | |
| tree | de2a5cf0be852b8beb8317481649460194f40d5b /.gitmodules | |
| parent | 34e1f09bf5e233bee78ee63166d2a1d9944a51f9 (diff) | |
| parent | 24f4e8dcf0eca55378fa018a9ed980625222653d (diff) | |
Merge remote-tracking branch 'prism/master'
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 |