log

age author description
Fri, 21 Jan 2011 16:13:42 -0800 Paul Eggert Merge: src/config.in: shrink slightly
Fri, 21 Jan 2011 16:12:10 -0800 Paul Eggert src/config.in: shrink slightly
Fri, 21 Jan 2011 12:27:07 -0800 Paul Eggert Merge from mainline.