Move patch to another directory
[supertux.git] / patches / squirrel /
drwxr-xr-x   ..
-rw-r--r-- 3338 squirrel_coverity.patch