hints/dec_osf.sh: polishing the comments
authorJarkko Hietaniemi <jhi@cc.hut.fi>
Thu, 30 Jan 1997 19:58:10 +0000 (21:58 +0200)
committerChip Salzenberg <chip@atlantic.net>
Tue, 4 Feb 1997 05:47:00 +0000 (17:47 +1200)
commitf2c6908735e0c2f2afe8eb6d87788a1d29d32bfb
treea763f4c374389c19e37ede04e77fbdbb6ef932e5
parent062dca251b623b6c7d3b729b1ee411d62a0ab399
hints/dec_osf.sh: polishing the comments

private-msgid: <199701301958.VAA08992@alpha.hut.fi>
hints/dec_osf.sh