]> git.donarmstrong.com Git - debian/debian-policy.git/commitdiff
projects / debian / debian-policy.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 8b71985 9ea5c5f)
Merge branch 'master' into bug567845-ballombe
authorBill Allombert <Bill.Allombert@math.u-bordeaux.fr>
Thu, 20 May 2010 22:35:32 +0000 (00:35 +0200)
committerBill Allombert <Bill.Allombert@math.u-bordeaux.fr>
Thu, 20 May 2010 22:35:32 +0000 (00:35 +0200)

Trivial merge
Unnamed repository; edit this file 'description' to name the repository.