mika/jenkins-debian-glue.org — pull request #5 by sylvestre (2013-03-09 13:49:08+00:00)
Title: DIST documented

Well, it is very minor but it could save some time to new comers...