diff configure.in @ 21262:b3f406b3c297

(standard-display-underline): Shift face id by 19 bits.
author Karl Heuer <kwzh@gnu.org>
date Mon, 23 Mar 1998 00:12:14 +0000
parents b808afa167c4
children e77ae6b31cb3
line wrap: on
line diff