diff make-dist @ 55730:b4eeb441c089

Use assoc-string, not assoc-ignore-case.
author Richard M. Stallman <rms@gnu.org>
date Sat, 22 May 2004 21:51:17 +0000
parents 400d9bd54631
children b5f2181a40b9
line wrap: on
line diff