From 317ea8bf39f2732bb6504cb090346560ce26535d Mon Sep 17 00:00:00 2001 From: Bruce Momjian Date: Fri, 28 Feb 1997 10:30:29 +0000 Subject: Remove win32 port directory. Forgot to do it earlier. --- src/backend/port/win32/sys/time.h | 1 - 1 file changed, 1 deletion(-) delete mode 100644 src/backend/port/win32/sys/time.h (limited to 'src/backend/port/win32/sys/time.h') diff --git a/src/backend/port/win32/sys/time.h b/src/backend/port/win32/sys/time.h deleted file mode 100644 index 8b13789179..0000000000 --- a/src/backend/port/win32/sys/time.h +++ /dev/null @@ -1 +0,0 @@ - -- cgit v1.2.1