diff oldXMenu/X10.h @ 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 e8a3fb527b77
children ce127a46b1ca d04d8ccb3c41 c5406394f567
line wrap: on
line diff