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