Skip to content

Change git:// url to https:// in macaw-refinement.cabal#450

Merged
sauclovian-g merged 1 commit intomasterfrom 449-git-urlsNov 4, 2024

Commits

Commits on Nov 2, 2024