diff src/m/sequent-ptx.h @ 25281:26430a2408d5

(msb--choose-file-menu): Use `completion-ignore-case' in name comparisons.
author Dave Love <fx@gnu.org>
date Mon, 16 Aug 1999 11:29:58 +0000
parents 11039e684bd8
children 4be8406ebef9
line wrap: on
line diff