comparison make-dist @ 17480:c4258189ad2c

(sh-while-getopts): Don't add menu-enable property.
author Richard M. Stallman <rms@gnu.org>
date Tue, 15 Apr 1997 18:16:28 +0000
parents 55e7f9ff6456
children 892cc20c7d91
comparison
equal deleted inserted replaced
17479:b613ee4fd988 17480:c4258189ad2c