diff configure @ 51806:96c06b458966

(desktop-buffer-info, desktop-buffer-mh): Use with-no-warnings.
author Richard M. Stallman <rms@gnu.org>
date Mon, 07 Jul 2003 21:04:28 +0000
parents 6a3cc9d03391
children 0bab97b183c0
line wrap: on
line diff