git://git.onelab.eu / nepi.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 0cb307b 7ba1f1c)
Merge with head
authorClaudio-Daniel Freire <claudio-daniel.freire@inria.fr>
Wed, 14 Sep 2011 04:57:40 +0000 (06:57 +0200)
committerClaudio-Daniel Freire <claudio-daniel.freire@inria.fr>
Wed, 14 Sep 2011 04:57:40 +0000 (06:57 +0200)

Trivial merge
nepi