diff man/basic.texi @ 33963:ea10fb03816f

(wait_for_property_change): Update copyright.
author Gerd Moellmann <gerd@gnu.org>
date Tue, 28 Nov 2000 15:36:08 +0000
parents 82d0163f6fb7
children d23d6a3e8128
line wrap: on
line diff