dir.c: replace is_path_excluded with now equivalent is_excluded API
[gitweb.git] / contrib / workdir /
drwxr-xr-x   parent (dest: contrib; base: b07bc8c8c3c492d657a8bedf04ff939763ea8222)
-rwxr-xr-x 1886 git-new-workdir