From 940674b4c696b82ad7e5f0efd71c2de7de3d6301 Mon Sep 17 00:00:00 2001
From: Maxime Dénès <mail@maximedenes.fr>
Date: Mon, 12 Jan 2015 14:41:18 +0100
Subject: Add myself to credits.

---
 CREDITS | 1 +
 1 file changed, 1 insertion(+)

(limited to 'CREDITS')

diff --git a/CREDITS b/CREDITS
index cdf8ed5ce..b05917930 100644
--- a/CREDITS
+++ b/CREDITS
@@ -113,6 +113,7 @@ of the Coq Proof assistant during the indicated time:
   Cristina Cornes (INRIA, 1993-1996)
   Yann Coscoy (INRIA Sophia-Antipolis, 1995-1996)
   David Delahaye (INRIA, 1997-2002)
+  Maxime Dénès (INRIA, 2013-now)
   Daniel de Rauglaudre (INRIA, 1996-1998)
   Olivier Desmettre (INRIA, 2001-2003)
   Gilles Dowek (INRIA, 1991-1994)
-- 
cgit v1.2.3