Fix curl include paths that were messed up in 5778. The other part of the fix a C...
[supertux.git] / man /
drwxr-xr-x   ..
drwxr-xr-x - man6