Fixed a help font bug (was using normal fonts, instead of the small ones).
[supertux.git] / mk /
drwxr-xr-x   ..
drwxr-xr-x - autoconf