Closed davesnx closed 10 months ago
Unsure if it's broken but docs.mirage.io points to opam docs, so better to point the correct path (which is up)
Thanks, docs.mirage.io is no longer updated/used. Let's see the CI and I will merge it.
docs.mirage.io
Unsure if it's broken but docs.mirage.io points to opam docs, so better to point the correct path (which is up)