From 0fc4e87e2761650b96675d2e5e05cd880ef986b3 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Fran=C3=A7ois=20Pottier?= <francois.pottier@inria.fr>
Date: Fri, 27 Jan 2017 19:11:39 +0100
Subject: [PATCH] TODO.

---
 TODO | 11 -----------
 1 file changed, 11 deletions(-)

diff --git a/TODO b/TODO
index 56492bc..6098b27 100644
--- a/TODO
+++ b/TODO
@@ -2,17 +2,6 @@
 
 TODO (REALLY)
 
-Show to:
-  François Bobot, Virgile Prevosto.
-  Andrei Paskevich, Jean-Christophe Filliâtre.
-  Andrew Kennedy.
-  Benjamin Farinier.
-  Thomas Braibant.
-  Thibaut Balabonski.
-  Yann Régis-Gianas.
-
-Announce.
-
 ------------------------------------------------------------------------------
 
 TODO (PERHAPS)
-- 
2.18.1