diff src/.gdbinit @ 24704:c5be96c5a5c1

(get_boot_time): Handle NO_WTMP_FILE.
author Karl Heuer <kwzh@gnu.org>
date Sun, 09 May 1999 17:57:03 +0000
parents 4379a41b6f2e
children c26a9f95a880
line wrap: on
line diff