Commit 7987825e325e3bba5cca4a55f2c0ef251fa1af68

Paul Eggert 2003-01-13T07:09:16

(readlinebuffer): Renamed from readline. All uses changed.