diff options
Diffstat (limited to 'README.md')
-rw-r--r-- | README.md | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -9,7 +9,7 @@ standard et jouent leur coups sur la sortie standard. Organisation des fichiers ------------------------- -juge/ +judge/ *.ml le code du juge protocol.ml encodeur et décodeur pour le protocole décrit plus bas core.ml la partie principale |