From 28d905bd62786e0938cd333ddcdc2f7754dd0165 Mon Sep 17 00:00:00 2001
From: clrenard
Date: Thu, 29 Nov 2001 13:38:18 +0000
Subject: Mise a jour des dependances

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2249 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 doc/kernel.dep.ps | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'doc/kernel.dep.ps')

diff --git a/doc/kernel.dep.ps b/doc/kernel.dep.ps
index 3672e35d4a..6b7d42d899 100644
--- a/doc/kernel.dep.ps
+++ b/doc/kernel.dep.ps
@@ -1,6 +1,6 @@
 %!PS-Adobe-2.0
 %%Creator: dot version gviz 1.7.3b (Mon Feb 26 14:10:22 EST 2001)
-%%For: (herbelin) Hugo Herbelin
+%%For: (clrenard) Clement Renard
 %%Title: G
 %%Pages: (atend)
 %%BoundingBox: 36 36 577 73
-- 
cgit v1.2.3