diff src/.gdbinit @ 7512:d72443e51f84

Comment change.
author Richard M. Stallman <rms@gnu.org>
date Mon, 16 May 1994 10:01:15 +0000
parents 19aacadabdc0
children f3e1a5c7bba1
line wrap: on
line diff