Re: Chris G 2007-08-08 <20070808173833.GA90795@xxxxxxxxxxxxxxxxxxx> > 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 -- cb@xxxxxxxx | http://www.df7cb.de/
Attachment:
signature.asc
Description: Digital signature