diff src/unexmips.c @ 4968:1607732e7712

(Man-filter-list): Include anything starting with alphabetics, and containing "Last change:". (manual-entry): Don't call `Man-downcase' since Man-translate-references has already done the right thing.
author Richard M. Stallman <rms@gnu.org>
date Wed, 10 Nov 1993 20:48:04 +0000
parents 1fc792473491
children d1d144ed5b76
line wrap: on
line diff