Minor change.

This commit is contained in:
Ondrej Filip 2000-06-07 22:57:59 +00:00
parent c2553b1b3e
commit 87f0d22ef8