Permalink
Browse files

geneweb.opam: pin dev version of markup.ml

  • Loading branch information...
sagotch committed Dec 31, 2018
1 parent 5e14968 commit 6264927987b43176b52c2d1ef7d306edfa2d50b1
Showing with 1 addition and 0 deletions.
  1. +1 −0 geneweb.opam
@@ -28,6 +28,7 @@ remove: [
pin-depends: [
[ "piqilib.dev" "git://github.com/alavrik/piqi" ]
[ "piqi.dev" "git://github.com/alavrik/piqi-ocaml" ]
[ "markup.dev" "git://github.com/geneanet/markup.ml" ]
]

depends: [

0 comments on commit 6264927

Please sign in to comment.