diff make-dist @ 12946:271dc8563a91

(modifier_names): Add 4 bits to modifier bit positions.
author Richard M. Stallman <rms@gnu.org>
date Sat, 26 Aug 1995 15:26:42 +0000
parents 1d30a1c68e44
children 5a333a8e0ee1
line wrap: on
line diff