Add a drop rule to SestoftGC
drwxr-xr-x - JFP
drwxr-xr-x - Launchbury
-rw-r--r-- 232 LocaleBug.thy
-rw-r--r-- 2086 ROOT
drwxr-xr-x - VortragSpanien
-rw-r--r-- 1392 gentargz-adequacy.sh