log src/doprnt.c @ 112453:06719a229a46 default tip

age author description
Mon, 17 Jan 2011 11:01:01 -0800 Paul Eggert Merge from mainline.
Fri, 14 Jan 2011 10:14:17 -0800 Paul Eggert Merge from mainline.