When a menu is disabled, it now uses Benjamin's gray fonts!
[supertux.git] / stamp-h1
1 timestamp for config.h