Code

Switch to Dune#76

Code

Merged

dpatti merged 4 commits intoinhabitedtype:masterinhabitedtype/httpaf:masterfrom anmonteiro:anmonteiro/switch-to-duneanmonteiro/httpun:anmonteiro/switch-to-duneCopy head branch name to clipboardJan 15, 2019

+82-89

Commits

Commits on Jan 14, 2019

• Switch to Dune

  anmonteiro

  committed
  65a96f6

• fix subst

  anmonteiro

  committed
  7266220

• Remove mirage bits

  anmonteiro

  committed
  7b5bdea

• update references to jbuilder in Makefile and README

  

  dpatti

  authored and

  Antonio Nuno Monteiro

  committed
  4d32c6e