removed doubled foreground coin (bug #403). It looks like a mistake, but if it was...
[supertux.git] / man /
drwxr-xr-x   ..
drwxr-xr-x - man6