comparison oldXMenu/X10.h @ 87797:3305ad06c630

(rng-nxml-mode-init): Add status after the "degraded" indicator.
author Stefan Monnier <monnier@iro.umontreal.ca>
date Wed, 16 Jan 2008 16:23:09 +0000
parents fec5e03aaf59
children edf631bdbb7a ec58e5c426ef 5cc91198ffb2
comparison
equal deleted inserted replaced
87796:69b6b74891ef 87797:3305ad06c630