diff make-dist @ 17553:1dc9754cbf8e

Delete all menu-enable properties. They ran slowly and sometimes got errors.
author Richard M. Stallman <rms@gnu.org>
date Thu, 24 Apr 1997 22:54:27 +0000
parents 55e7f9ff6456
children 892cc20c7d91
line wrap: on
line diff