Merge pull request #33 from madroach/master
add dune project name
authored by Spiros Eliopoulos and committed by GitHub 6 years ago 6fe770e8 9faac8a0