diff options
| author | Bruce Momjian <bruce@momjian.us> | 1997-02-28 10:30:29 +0000 |
|---|---|---|
| committer | Bruce Momjian <bruce@momjian.us> | 1997-02-28 10:30:29 +0000 |
| commit | 317ea8bf39f2732bb6504cb090346560ce26535d (patch) | |
| tree | 596f645e5403359726d39f0becd470952e4e783b /src/backend/port/win32/sys/param.h | |
| parent | 7a14979f02f929d10954de9593e0c104475308b7 (diff) | |
Remove win32 port directory. Forgot to do it earlier.
Diffstat (limited to 'src/backend/port/win32/sys/param.h')
| -rw-r--r-- | src/backend/port/win32/sys/param.h | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/backend/port/win32/sys/param.h b/src/backend/port/win32/sys/param.h deleted file mode 100644 index 8b137891791..00000000000 --- a/src/backend/port/win32/sys/param.h +++ /dev/null @@ -1 +0,0 @@ - |