Fix pipes in bonus1/bonus-level5.stl, they were mixed blue and green before, now...
[supertux.git] / mk /
drwxr-xr-x   ..
drwxr-xr-x - cmake
drwxr-xr-x - msvc