jenkins: dump relevant configuration files from build environment
[gnupg-doc.git] / build-aux /
drwxr-xr-x   ..
drwxr-xr-x - git-hooks