diff man/ada-mode.texi @ 36442:7fda58b1a204

(x_set_window_size): Don't use `None' with widgets; use NULL instead.
author Gerd Moellmann <gerd@gnu.org>
date Wed, 28 Feb 2001 15:06:04 +0000
parents 95bdbefcdac6
children 45500c80145f
line wrap: on
line diff