Fixed a help font bug (was using normal fonts, instead of the small ones).
[supertux.git] / AUTHORS
2004-03-07 Ricardo CruzImproved help and credits text