diff make-dist @ 11651:f43818d3bbd8

Warn about nested repetition.
author Richard M. Stallman <rms@gnu.org>
date Tue, 02 May 1995 03:47:29 +0000
parents 52bf246dd940
children e3434c390970
line wrap: on
line diff