formatting tweaks

This commit is contained in:
Mark Seaborn 1996-07-03 23:05:19 +00:00
parent f78bcc2e72
commit 56162c4968