diff doc/misc/widget.texi @ 109029:85a8c1358bb7

* INSTALL: Info files are compressed by default.
author Glenn Morris <rgm@gnu.org>
date Mon, 21 Jun 2010 00:37:16 -0700
parents 1d1d5d9bd884
children f1266b2f017e
line wrap: on
line diff