Re: Chris G 2007-08-08 <[EMAIL PROTECTED]>
> Is there any actual difference between the 'push' and 'exec' commands?

push takes a key sequence, exec a single function. That is, the
following are the same:

exec foo
push <foo>

Christoph
-- 
[EMAIL PROTECTED] | http://www.df7cb.de/

Attachment: signature.asc
Description: Digital signature

Reply via email to