diff src/m/isi-ov.h @ 4329:dfabe5b99500

(Man-filter-list): Insert \n newlines in awk script.
author Richard M. Stallman <rms@gnu.org>
date Thu, 29 Jul 1993 02:31:06 +0000
parents 7be0f0a02725
children 191acacfa1ec
line wrap: on
line diff