diff options
| author | Roman Smrž <roman.smrz@seznam.cz> | 2025-01-25 17:53:23 +0100 |
|---|---|---|
| committer | Roman Smrž <roman.smrz@seznam.cz> | 2025-01-25 17:53:23 +0100 |
| commit | 8ade691d0d995c298b69a5f79cc199559500118d (patch) | |
| tree | eb79a4bdd6f9ad826e87117a3089fdae77ef7ebc | |
| parent | 48191a70dd2db74412ee134469b6976cfb494774 (diff) | |
Switch source repository location to HTTPS
| -rw-r--r-- | minici.cabal | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/minici.cabal b/minici.cabal index 85464d6..fc3e48a 100644 --- a/minici.cabal +++ b/minici.cabal @@ -30,7 +30,7 @@ flag ci source-repository head type: git - location: git://erebosprotocol.net/minici + location: https://code.erebosprotocol.net/minici executable minici main-is: Main.hs |