Added menu item to let user decide, if he wants to use new not-yet-fully-supported...
[supertux.git] / man /
drwxr-xr-x   ..
drwxr-xr-x - man6