0.12.3dev: Include directories in `.zip` files generated from the repository browser. This ensures empty directories are created on unzip.
Patch by Thijs Triemstra. Closes #9925.
Authored by: rblank 2011-03-28
Parent: [r10664]
Child: [r10666]