From 3e5be89e137df93de6f13d7ea2270dd22b1d48d1 Mon Sep 17 00:00:00 2001
From: Pierre Letouzey
Date: Tue, 17 Jun 2014 19:48:53 +0200
Subject: Dummy commit to test the new setup of coq-commits mailinglist

---
 dev/TODO | 1 +
 1 file changed, 1 insertion(+)

(limited to 'dev')

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