diff etc/THE-GNU-PROJECT @ 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 734ca0fe6d3e
children 41ca3e86bd27
line wrap: on
line diff