diff move-if-change @ 65906:d6bec95ef380

(Window Tree): Rename window-split-tree to window-tree. Rename manual section accordingly.
author Kim F. Storm <storm@cua.dk>
date Fri, 07 Oct 2005 22:12:40 +0000
parents 354e0c45cedf
children 14a97ab281d5
line wrap: on
line diff