diff src/.gdbinit @ 13151:5297bf53ac38

(init_buffer_once): Make file_format always local, not just local when set.
author Richard M. Stallman <rms@gnu.org>
date Sun, 08 Oct 1995 19:26:07 +0000
parents 6882fe187fa9
children 4c60f92bdaa6
line wrap: on
line diff