From 480a64a56e51443d0e8052b421c3cb3f72892560 Mon Sep 17 00:00:00 2001
From: Pascal Raymond <pascal.raymond@univ-grenoble-alpes.fr>
Date: Fri, 3 May 2019 15:58:51 +0200
Subject: [PATCH] un commentaire bidon...
---
src/dbg.ml | 2 ++
1 file changed, 2 insertions(+)
diff --git a/src/dbg.ml b/src/dbg.ml
index b9247c90..3a4f2b0b 100755
--- a/src/dbg.ml
+++ b/src/dbg.ml
@@ -9,6 +9,8 @@
* s_toto : toto -> string
* p_toto : toto -> unit
qui ecrit sur stderr par defaut, sur une ligne sans rc autant que possible
+
+ - a terme, mettre tout ce qu'il faut ici !
*)
(* affichage basique *)
--
GitLab