diff make-dist @ 46312:160a65e0fb1f

(describe-variable): Mention if the variable is an alias.
author Pavel Janík <Pavel@Janik.cz>
date Fri, 12 Jul 2002 08:56:12 +0000
parents f526d32944b1
children 23a1cea22d13
line wrap: on
line diff