projects / platal.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: e9f4dfa dcf173d)
Merge remote branch 'origin/master' into xorg/f/surveys xorg/f/surveys
authorFlorent Bruneau <florent.bruneau@polytechnique.org>
Sun, 19 Jun 2011 15:27:21 +0000 (17:27 +0200)
committerFlorent Bruneau <florent.bruneau@polytechnique.org>
Sun, 19 Jun 2011 15:27:21 +0000 (17:27 +0200)

Trivial merge
plat/al