# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 769505303 0
# Node ID caae041f9b9ea82af7492a52f9fe79448cc52a8b
# Parent  1ddcf94fe9c970e5b8c82c4b185fe749e7d5426a
Add template for init_gettimeofday.

diff -r 1ddcf94fe9c9 -r caae041f9b9e src/msdos.h
--- a/src/msdos.h	Sat May 21 07:18:39 1994 +0000
+++ b/src/msdos.h	Sat May 21 07:28:23 1994 +0000
@@ -43,3 +43,4 @@
 void mouse_check_moved ();
 int mouse_pressed (int, int *, int *);
 int mouse_released (int, int *, int *);
+void init_gettimeofday ();