Exécutable : nbr.exe

2020-01-18 09:12:15 +01:00
parent 1569132c6c
commit 7529a7ed15
4 changed files with 21 additions and 0 deletions
--- a/lib/dune
+++ b/lib/dune
@ -0,0 +1,2 @@
+(library
+ (name nombres))