diff etc/MACHINES @ 98040:003efd7220ff

(server-switch-buffer): New arg. (server-execute): If reusing an existing window, set file position if required.
author Chong Yidong <cyd@stupidchicken.com>
date Sat, 06 Sep 2008 17:17:05 +0000
parents c3512b2085a0
children 09f1342109b9
line wrap: on
line diff