Skip to content
Snippets Groups Projects
  1. Mar 15, 2019
    • erwan's avatar
      Update: rename the source dir src (was bin) · d4e6c582
      erwan authored
      For some reason, I believed that the source dir containing the main
      program need to be named bin for dune to work smoothly. But actually,
      it seems to work fine with src, so let's go for it.
      d4e6c582
  2. Mar 14, 2019
  3. Mar 13, 2019
  4. Mar 11, 2019
  5. Mar 10, 2019
  6. Mar 09, 2019
  7. Mar 08, 2019
  8. Mar 07, 2019
Loading