Unpin tyxml

ocsigen · Dec 6, 2016 · 079bf86 · 079bf86
1 parent 03fc057
commit 079bf86
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/.jenkins.sh b/.jenkins.sh
@@ -1,6 +1,5 @@
 opam pin add --no-action ocsigenserver .
 opam install camlzip
-opam pin add tyxml --dev-repo
 opam install --deps-only ocsigenserver
 opam install --verbose ocsigenserver