git://git.onelab.eu / nodemanager.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: ace0648 7cfe5f8)
Merge branch 'master' of ssh://git.planet-lab.org/git/nodemanager
authorS.Çağlar Onur <caglar@cs.princeton.edu>
Mon, 11 Oct 2010 20:38:22 +0000 (16:38 -0400)
committerS.Çağlar Onur <caglar@cs.princeton.edu>
Mon, 11 Oct 2010 20:38:22 +0000 (16:38 -0400)

Trivial merge
nodemanager