From 4c79604793ddf9c3e717d762518200b5e7db4f35 Mon Sep 17 00:00:00 2001
From: Pierre Letouzey
Date: Tue, 17 Jun 2014 19:49:49 +0200
Subject: Dummy commit to test the new setup of coq-commits mailinglist (bis)

---
 dev/TODO | 1 -
 1 file changed, 1 deletion(-)

(limited to 'dev')

diff --git a/dev/TODO b/dev/TODO
index 605b28a7e2..926861c965 100644
--- a/dev/TODO
+++ b/dev/TODO
@@ -1,5 +1,4 @@
 
-
  o options de la ligne de commande
      - reporter les options de l'ancien script coqtop sur le nouveau coqtop.ml
 
-- 
cgit v1.2.3