diff --git a/bin/opam-web.sh b/bin/opam-web.sh index c969b37..46dca18 100755 --- a/bin/opam-web.sh +++ b/bin/opam-web.sh @@ -19,7 +19,6 @@ git clone https://github.com/ocaml/opam-repository.git --single-branch --branch cd .. mv opam-repository/* . -mv opam-repository/.git . rm -rf opam-repository # Overwrite 'repo' file, and dispatch all non-standard versions