Commit 07b2c33202d136eec120e54d640237e3ecd88fdb

Jim Meyering 1997-01-18T20:17:39

Indent with GNU indent.