Code

Switch build system to Dune#10

Code

Closed

dra27 wants to merge 4 commits intohannesm:masterhannesm/logs-syslog:masterfrom dra27:dunedra27/logs-syslog:duneCopy head branch name to clipboard

+69-151

Commits

Commits on Aug 15, 2018

• Eliminate Warning 8

  dra27

  committed
  f9cee51

• Upgrade build system to Dune

  dra27

  committed
  77c7ca8

Commits on Aug 17, 2018

• Remove version from dune-project

  dra27

  committed
  c2f3b20

• Eliminate logs-syslog.lwt.common package

  dra27

  committed
  2def2ae