When a menu is disabled, it now uses Benjamin's gray fonts!
[supertux.git] / ABOUT-NLS
2004-06-03 Matthias Braunanother small fix