diff man/search.texi @ 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 8430a6e62d6c
children feb2110d1e96 b1c1fc853d2f
line wrap: on
line diff