Merge branch 'en/update-ref-no-deref-stdin'
[gitweb.git] / ci / util /
drwxr-xr-x   parent (dest: ci; base: f52b7eea44281340e691e5ea89aaac831d2ac65f)
-rwxr-xr-x 949 extract-trash-dirs.sh