diff options
Diffstat (limited to 'otherlibs/win32unix/windbug.h')
| -rw-r--r-- | otherlibs/win32unix/windbug.h | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/otherlibs/win32unix/windbug.h b/otherlibs/win32unix/windbug.h index 5ac5ca538..a0085a90f 100644 --- a/otherlibs/win32unix/windbug.h +++ b/otherlibs/win32unix/windbug.h @@ -2,9 +2,9 @@ /* */ /* Objective Caml */ /* */ -/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* Contributed by Sylvain Le Gall for Lexifi */ /* */ -/* Copyright 1996 Institut National de Recherche en Informatique et */ +/* Copyright 2008 Institut National de Recherche en Informatique et */ /* en Automatique. All rights reserved. This file is distributed */ /* under the terms of the GNU Library General Public License, with */ /* the special exception on linking described in file ../../LICENSE. */ |