ff2b19d587
$name was overwritten. So, this was fixed by adding a special functionality when archive files are uploaded that replace existing files with equal names; these are now deleted. This is docuemented more clearly in the FAQ and it is also documented now that files in the archive that are not listed in the manifest are not extracted. |
||
---|---|---|
contrib/zipstream-php-0.2.2 | ||
doc | ||
logo | ||
scripts | ||
src/IDF | ||
test | ||
www | ||
.gitattributes | ||
.gitignore | ||
AUTHORS | ||
CONTRIBUTE.mdtext | ||
COPYING | ||
INSTALL.mdtext | ||
Makefile | ||
NEWS.mdtext | ||
phpunit.xml | ||
release-script | ||
run-tests |