Git commit 21b5eb9371fbb0f5f43f7cba7606c4bdb32fedd4 by Michael Pyne.
Committed on 12/09/2015 at 20:57.
Pushed by mpyne into branch 'master'.
Add git-user option.
This option can be used to setup the user.name and user.email git-config
options within each new git repository cloned or installed fro
Git commit b42704a5f34ffdd4ccfa7562dbc012131ecf39f6 by Christoph Feck.
Committed on 12/09/2015 at 10:22.
Pushed by cfeck into branch 'master'.
Fix docbook DTD
M +1-1kioslave/docs/imap/index.docbook
M +1-1kioslave/docs/ldap/index.docbook
M +1-1kioslave/docs/mbox/index.do