diff src/.gdbinit @ 2257:668491072928

(Fvisited_file_modtime): New function. (Fset_visited_file_modtime): Accept an argument specifying time value. If arg is nil, really use the filename handler.
author Richard M. Stallman <rms@gnu.org>
date Fri, 19 Mar 1993 05:30:19 +0000
parents 1dcc4e12b8dd
children aabcab2eab73
line wrap: on
line diff