1
0
mirror of https://github.com/postgres/postgres.git synced 2025-06-25 01:02:05 +03:00

remove unused file.

This commit is contained in:
Bruce Momjian
1998-10-08 00:39:11 +00:00
parent 25b5faa7cd
commit 5d8d65e8b3