diff man/mark.texi @ 88535:71edb04707fd

(C_SWITCH_SYSTEM) [!__GNUC__]: Remove -nointrinsics.
author Dave Love <fx@gnu.org>
date Thu, 16 May 2002 19:31:12 +0000
parents 898b4b31410f
children 46b0c6f318b5
line wrap: on
line diff