Readme, and public executable

2020-01-18 09:18:21 +01:00
parent 7529a7ed15
commit 8ea4705c17
2 changed files with 5 additions and 0 deletions
--- a/bin/dune
+++ b/bin/dune
@ -1,3 +1,4 @@
 (executable
 (name nbr)
+ (public_name nbr)
 (libraries nombres))