diff options
Diffstat (limited to 'otherlibs/win32unix/winworker.c')
| -rw-r--r-- | otherlibs/win32unix/winworker.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/otherlibs/win32unix/winworker.c b/otherlibs/win32unix/winworker.c index fb8cde979..7358b203c 100644 --- a/otherlibs/win32unix/winworker.c +++ b/otherlibs/win32unix/winworker.c @@ -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. */ |