Nils Adermann 6066359944 Skip directories in zip generation, empty dirs won't get archived ... This seems ok as we currently rely on git generating archives which does not archive empty directories either.		2013-03-28 12:49:53 +01:00
..
Test	Skip directories in zip generation, empty dirs won't get archived	2013-03-28 12:49:53 +01:00