diff src/.gdbinit @ 43794:8acd1399d389

(shell-command-on-region): Call push-mark with non-nil second arg, to suppress the "Mark set" message.
author Eli Zaretskii <eliz@gnu.org>
date Sat, 09 Mar 2002 09:05:08 +0000
parents 1865230232b7
children 61d64f3f8e23 e5d55ed9b335
line wrap: on
line diff