git://git.onelab.eu / infrastructure.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: c6c18aa f20a673)
Merge branch 'master' of git.onelab.eu:/git/infrastructure
authorCiro Scognamiglio <c.scognamiglio@cslash.net>
Fri, 13 Jul 2012 12:07:09 +0000 (14:07 +0200)
committerCiro Scognamiglio <c.scognamiglio@cslash.net>
Fri, 13 Jul 2012 12:07:09 +0000 (14:07 +0200)

Trivial merge
infrastructure