comparison make-dist @ 73891:7e65038a5be1

(server-raise-frame): New option. (server-switch-buffer): Use it.
author Juanma Barranquero <lekktu@gmail.com>
date Fri, 10 Nov 2006 09:46:51 +0000
parents e68d05a41cab
children ddcbd2c1b70d 02cf29720f31
comparison
equal deleted inserted replaced
73890:2896142f6964 73891:7e65038a5be1