git://git.onelab.eu / build.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 1bc9e62 e9f9980)
Merge commit 'origin/master'
authorroot <root@blitz.inria.fr>
Fri, 1 Apr 2011 21:18:14 +0000 (23:18 +0200)
committerroot <root@blitz.inria.fr>
Fri, 1 Apr 2011 21:18:14 +0000 (23:18 +0200)

Trivial merge
build