diff make-dist @ 13935:dbc31b752982

Better doc strings for a few variables.
author André Spiegel <spiegel@gnu.org>
date Thu, 04 Jan 1996 16:00:45 +0000
parents 0923c642e324
children 0a94cd2c51c4
line wrap: on
line diff