Renamed MenuManager to MenuStorage and MenuManager2 to MenuManager
[supertux.git] / man /
drwxr-xr-x   ..
drwxr-xr-x - man6