Commit 7b4583f37b612e04760feff57d622ea8d084ea1f

Tom Tromey 1995-11-29T17:09:37

Don't use touch.