diff man/Makefile.in @ 28490:9958b6d95bd6

(member-ignore-case): New function.
author Gerd Moellmann <gerd@gnu.org>
date Mon, 03 Apr 2000 19:29:56 +0000
parents 556645e6675e
children b8fc13474751
line wrap: on
line diff