diff make-dist @ 52206:de409240d09e

(dabbrev--safe-replace-match): Use with-no-warnings.
author Richard M. Stallman <rms@gnu.org>
date Sun, 17 Aug 2003 00:16:25 +0000
parents 23a1cea22d13
children 695cf19ef79e d7ddb3e565de
line wrap: on
line diff