range-diff: add section header instead of diff header
[gitweb.git] / ci / util /
drwxr-xr-x   parent (dest: ci; base: b66885a30cb84fc61986bc4eea805a31fdbea79a)
-rwxr-xr-x 949 extract-trash-dirs.sh