diff lib-src/pop.c @ 36441:861557fe5809

(Fx_hide_tip): Don't use `None' with widgets; use NULL instead.
author Gerd Moellmann <gerd@gnu.org>
date Wed, 28 Feb 2001 15:05:10 +0000
parents e7d9947be23b
children 83c1951257f1
line wrap: on
line diff