diff config.bat @ 88931:74d18470865c

(fontset_add): Declare args. Call make_number correctly. (face_for_char): Delete unused vars. (Fset_fontset_font): Doc fix. Delete unused vars.
author Dave Love <fx@gnu.org>
date Tue, 30 Jul 2002 11:35:17 +0000
parents 8d949ca10e38
children f0c07caa514e
line wrap: on
line diff