diff src/.gdbinit @ 12811:11f5ce737c57

(lock_file): Use get_truename_buffer.
author Richard M. Stallman <rms@gnu.org>
date Wed, 09 Aug 1995 22:39:32 +0000
parents 6882fe187fa9
children 4c60f92bdaa6
line wrap: on
line diff