Merge branch 'master' of git+ssh://playfair.gnupg.org/git/gnupg-doc
[gnupg-doc.git] / build-aux /
2013-11-06 Werner KochFinish migration to the the gnupg-doc repository.