Merge branch 'dl/submodule-set-branch'
[gitweb.git] / ci / util /
drwxr-xr-x   parent (dest: ci; base: 01f8d78887d45dc10f29d3926d5cc52f78838846)
-rwxr-xr-x 949 extract-trash-dirs.sh