log

age author description
Mon, 14 May 2001 16:57:20 +0000 Gerd Moellmann Copy texinfo.tex unconditionally.
Mon, 14 May 2001 14:56:23 +0000 Gerd Moellmann *** empty log message ***
Mon, 14 May 2001 14:54:29 +0000 Gerd Moellmann (note_mouse_highlight): Avoid changing the mouse