log

age author description
Wed, 10 Oct 2001 14:37:17 +0000 Miles Bader (Info-insert-dir): Don't call `Info-fontify-menu-headers'.
Wed, 10 Oct 2001 12:22:18 +0000 Gerd Moellmann *** empty log message ***
Wed, 10 Oct 2001 12:21:58 +0000 Gerd Moellmann (C_SWITCH_SYSTEM) [!__GNUC__]: Add `-nointrinsics'