diff man/commands.texi @ 28490:9958b6d95bd6

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