Code

switch to ppxlib#30

Code

Open

pveber wants to merge 2 commits intovbrankov:mastervbrankov/hdf5-ocaml:masterfrom pveber:ppxlibpveber/hdf5-ocaml:ppxlibCopy head branch name to clipboard

+62-76

Commits

Commits on Sep 13, 2020

• switch to ppxlib

  pveber

  committed
  f51616c

Commits on Sep 14, 2020

• opam: update deps

  pveber

  committed
  0ac020c