update jenkins

hhugo · hhugo · commit b29448f5251f · 2014-08-11T10:52:14.000+02:00
diff --git a/.jenkins.sh b/.jenkins.sh
@@ -1,6 +1,5 @@
 
 opam pin add --no-action js_of_ocaml .
-opam pin add --no-action tyxml 'https://github.com/ocsigen/tyxml.git#master'
 opam install deriving tyxml reactiveData
 opam install --deps-only js_of_ocaml
 opam install --verbose js_of_ocaml
