use better filename for patch

This commit is contained in:
brad 2000-07-24 02:06:59 +00:00
parent 9069d51c64
commit 8433763476