diff src/.gdbinit @ 14091:34911b128a47

(Frandom, Flength, Felt, Fsort, Fchar_table_subtype, Fchar_table_parent, Fset_char_table_parent, Fchar_table_extra_slot, Fset_char_table_extra_slot, Fchar_table_range, Fset_char_table_range, Fmap_char_table, Fmapconcat, Fmapcar): Harmonize arguments with documentation.
author Erik Naggum <erik@naggum.no>
date Tue, 09 Jan 1996 02:03:13 +0000
parents 4b9062f951a5
children fb218a8bd186
line wrap: on
line diff