diff config.bat @ 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 ff0f79a7b8b6
children 4c2b38ea02fe
line wrap: on
line diff