diff src/.gdbinit @ 10847:c79a2dca8f75

(revert-buffer): Use current-prefix-arg, not prefix-arg.
author Karl Heuer <kwzh@gnu.org>
date Tue, 28 Feb 1995 06:24:08 +0000
parents 6063c1f07723
children 2aa4135eee50
line wrap: on
line diff