diff --git a/index.html b/index.html index 5d564ee..fe8f3a9 100644 --- a/index.html +++ b/index.html @@ -21,7 +21,7 @@
opam install links