diff config.bat @ 33870:8816b5542315

(x_change_window_heights): New function.
author Jason Rumney <jasonr@gnu.org>
date Fri, 24 Nov 2000 21:31:14 +0000
parents e1e1d5816d44
children 6722a8132e56
line wrap: on
line diff