1
0
mirror of https://github.com/postgres/postgres.git synced 2025-07-05 07:21:24 +03:00

Rename irix5 port to irix.

This commit is contained in:
Bruce Momjian
2004-05-19 21:37:43 +00:00
parent bef228d1ee
commit 14531e0c44
7 changed files with 9 additions and 9 deletions