jenkins: dump relevant configuration files from build environment
[gnupg-doc.git] / build-aux /
2013-11-06 Werner KochFinish migration to the the gnupg-doc repository.