summaryrefslogtreecommitdiffstats
path: root/otherlibs/win32unix/gettimeofday.c
diff options
context:
space:
mode:
authorXavier Leroy <xavier.leroy@inria.fr>1999-11-16 15:25:48 +0000
committerXavier Leroy <xavier.leroy@inria.fr>1999-11-16 15:25:48 +0000
commit2ac0c108424bf1dacdfe56dfcef924bd67c755ab (patch)
tree4922580d4ac02921f0136751ac09e4da05c5f5ec /otherlibs/win32unix/gettimeofday.c
parent658c8164c93b3a507b7151860106c3b0948e491e (diff)
Ajout de notices de copyright manquantes
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2545 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'otherlibs/win32unix/gettimeofday.c')
-rw-r--r--otherlibs/win32unix/gettimeofday.c13
1 files changed, 13 insertions, 0 deletions
diff --git a/otherlibs/win32unix/gettimeofday.c b/otherlibs/win32unix/gettimeofday.c
index aaec7eb1c..ea5b45ae7 100644
--- a/otherlibs/win32unix/gettimeofday.c
+++ b/otherlibs/win32unix/gettimeofday.c
@@ -1,3 +1,16 @@
+/***********************************************************************/
+/* */
+/* Objective Caml */
+/* */
+/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */
+/* */
+/* Copyright 1996 Institut National de Recherche en Informatique et */
+/* Automatique. Distributed only by permission. */
+/* */
+/***********************************************************************/
+
+/* $Id$ */
+
#include <mlvalues.h>
#include <alloc.h>
#include <time.h>