-
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
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.