From c1e245dc2bed2eb9949559e007c93e2bbeec2bf9 Mon Sep 17 00:00:00 2001
From: Maxime Dénès
Date: Thu, 15 Jan 2015 06:55:01 +0100
Subject: Hugo put me in credits, but I was already there :)

---
 CREDITS | 1 -
 1 file changed, 1 deletion(-)

diff --git a/CREDITS b/CREDITS
index 9a6db78a0c..ace4648dc7 100644
--- a/CREDITS
+++ b/CREDITS
@@ -101,7 +101,6 @@ of the Coq Proof assistant during the indicated time:
   David Delahaye (INRIA, 1997-2002)
   Maxime Dénès (INRIA, 2013-now)
   Daniel de Rauglaudre (INRIA, 1996-1998)
-  Maxime Dénès (INRIA, 2013-now)
   Olivier Desmettre (INRIA, 2001-2003)
   Gilles Dowek (INRIA, 1991-1994)
   Amy Felty (INRIA, 1993)
-- 
cgit v1.2.3