diff src/.gdbinit @ 21011:ceb05db73a63

(update_syntax_table): Properly update `position' field of used intervals.
author Richard M. Stallman <rms@gnu.org>
date Mon, 02 Mar 1998 02:40:53 +0000
parents 0ef14112e9b3
children 4379a41b6f2e
line wrap: on
line diff