diff man/ChangeLog @ 44359:ff9f7aee02c8

Rename autoselect_window_p to mouse_autoselect_window.
author Pavel Janík <Pavel@Janik.cz>
date Wed, 03 Apr 2002 08:39:50 +0000
parents 6de0a2711fa9
children 69639ae98236
line wrap: on
line diff