diff install-sh @ 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 35064c2e86d7
children 23a1cea22d13
line wrap: on
line diff