comparison make-dist @ 72732:73c180e96f39

(x_error_quitter): For BadName error, just return.
author Richard M. Stallman <rms@gnu.org>
date Fri, 08 Sep 2006 12:13:14 +0000
parents ef43d43a40be
children 81a55a7dc3c3 138ce2701550
comparison
equal deleted inserted replaced
72731:b8c0da552a00 72732:73c180e96f39