Merge branch 'maudule'

Ajout du joli système de modules, qui est très pratique pour utiliser les fonctions, mais moins pour les modifier
2021-03-24 20:00:21 +01:00
parent 3802f3e43d 9c7e31e5e8
commit 2c864f9957
11 changed files with 164 additions and 64 deletions
@@ -1,5 +1,6 @@
 *.cmi
 *.cmx
+*.cmo
 *.o
 *.a
 *.ascii.txt