diff move-if-change @ 62462:8fb97ebd6910

Replace `set-window-dot' by `set-window-point'.
author Juanma Barranquero <lekktu@gmail.com>
date Wed, 18 May 2005 10:20:12 +0000
parents 354e0c45cedf
children 14a97ab281d5
line wrap: on
line diff