diff make-dist @ 47109:796b2ef84d40

(warning-series): Now can be a marker, not an integer. (display-warning): Handle new value for warning-series.
author Richard M. Stallman <rms@gnu.org>
date Thu, 29 Aug 2002 16:46:11 +0000
parents f526d32944b1
children 23a1cea22d13
line wrap: on
line diff