Commit 51907d763eb8f5ecad76c0bc88dabf7e0e528b6b

Jim Meyering 2002-03-01T23:20:20

new file, from Paul Eggert