rename patchfile

This commit is contained in:
jakob 2000-10-08 22:35:56 +00:00
parent c6c03107e1
commit f3f6dc0a6e