diff options
| author | Jakob Unterwurzacher | 2019-08-04 14:13:00 +0200 |
|---|---|---|
| committer | Jakob Unterwurzacher | 2019-08-04 14:13:00 +0200 |
| commit | b1d09b0f17dd8b2fe9e47289d1743d0a730c7c42 (patch) | |
| tree | f1a24ca60448bd692d8846da97907a6f4887a641 /contrib/statfs/.gitignore | |
| parent | 13055278f56b941be0ea1ff4eb4840d88fba7e37 (diff) | |
Rename isDirEmpty -> isEmptyDir
The function actually answers the question:
"is this an empty dir"?
Diffstat (limited to 'contrib/statfs/.gitignore')
0 files changed, 0 insertions, 0 deletions