correctly name file

This commit is contained in:
Michael Meissner
1995-12-22 16:42:06 +00:00
parent 3222ff2e52
commit 63ed8181e6