1
0
mirror of https://github.com/postgres/postgres.git synced 2025-06-23 14:01:44 +03:00

rename java file for Peter.

This commit is contained in:
Bruce Momjian
1998-09-12 17:26:04 +00:00
parent 6ee06b0fd3
commit bcb51fc916