Browse Source

remove dead doc link

main
zapashcanon 4 months ago
parent
commit
d2908ead05
Signed by: zapashcanon GPG Key ID: 8981C3C62D1D28F1
  1. 2
      dune-project
  2. 1
      prelude.opam

2
dune-project

@ -17,8 +17,6 @@
(bug_reports https://git.zapashcanon.fr/zapashcanon/prelude/issues)
(documentation https://doc.zapashcanon.fr/prelude)
(generate_opam_files true)
(package

1
prelude.opam

@ -8,7 +8,6 @@ authors: ["Léo Andrès <contact@ndrs.fr>"]
license: "AGPL-3.0-or-later"
tags: ["prelude" "stdlib" "safe" "exception" "layer" "hide"]
homepage: "https://git.zapashcanon.fr/zapashcanon/prelude"
doc: "https://doc.zapashcanon.fr/prelude"
bug-reports: "https://git.zapashcanon.fr/zapashcanon/prelude/issues"
depends: [
"dune" {>= "3.0"}

Loading…
Cancel
Save