diff install-sh @ 34046:24d09129cd5c

Eliminated the line number font predefinition.
author Eli Zaretskii <eliz@gnu.org>
date Thu, 30 Nov 2000 13:23:04 +0000
parents 35064c2e86d7
children 23a1cea22d13
line wrap: on
line diff