diff make-dist @ 33529:2e6d343c238d

(weight_table): Add `demi' with the same meaning as `demibold'.
author Gerd Moellmann <gerd@gnu.org>
date Thu, 16 Nov 2000 04:39:03 +0000
parents 7b81c864cccf
children a020c0f20186
line wrap: on
line diff