rename MAINTENANCE to MAINTENANCE.postgresql as it is more appropriate considering...
authormh <mh>
Sun, 8 Dec 2002 05:41:19 +0000 (05:41 +0000)
committermh <mh>
Sun, 8 Dec 2002 05:41:19 +0000 (05:41 +0000)
commit6964bc916fce4e24e6b528dfaf020c3c1d8aec69
tree5cce089f0f1d88a1e00009a2e2902a98a7ba051a
parent9c808e40a3f31c16bee81e3e0f79d76fc6803bbf
rename MAINTENANCE to MAINTENANCE.postgresql as it is more appropriate considering it's content
doc/MAINTENANCE [deleted file]
doc/MAINTENANCE.postgresql [new file with mode: 0755]