diff etc/compilation.txt @ 56363:278fbbc28f40

Mention `read-file-name-completion-ignore-case'.
author John Paul Wallington <jpw@pobox.com>
date Tue, 06 Jul 2004 18:49:32 +0000
parents 60906ddcbf22
children c173d0dac457 4c90ffeb71c5
line wrap: on
line diff