diff options
| author | vlakoff <vlakoff@gmail.com> | 2012-09-13 05:19:59 +0200 |
|---|---|---|
| committer | vlakoff <vlakoff@gmail.com> | 2012-09-13 05:19:59 +0200 |
| commit | 8280885499ca4b1cffacc9ad78a9eff07a84de25 (patch) | |
| tree | 4fe5c64156f6ab19468a9f1fa9e3713737866ff7 /user_guide_src/source/database | |
| parent | 88e3857ec2328e1dc4168c8343367d9d9e54d019 (diff) | |
directory_map() was skipping files and directories named "0"
Close #1757. Thanks @BennyC!
Diffstat (limited to 'user_guide_src/source/database')
0 files changed, 0 insertions, 0 deletions