diff src/.gdbinit @ 27264:7c1aca21377a

(elide-head): Use point-marker, not point.
author Dave Love <fx@gnu.org>
date Mon, 10 Jan 2000 16:26:35 +0000
parents 4379a41b6f2e
children c26a9f95a880
line wrap: on
line diff