git://git.onelab.eu / build.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: d533283 a56e21d)
Merge branch 'master' of dhozac@git.planet-lab.org:/git/build
authorDaniel Hokka Zakrisson <dhokka@cs.princeton.edu>
Thu, 15 Jul 2010 19:45:48 +0000 (15:45 -0400)
committerDaniel Hokka Zakrisson <dhokka@cs.princeton.edu>
Thu, 15 Jul 2010 19:45:48 +0000 (15:45 -0400)

Trivial merge
build