Merge branch 'master' of ssh://git.onelab.eu/git/myslice
authorThierry Parmentelat <thierry.parmentelat@inria.fr>
Mon, 9 Sep 2013 10:48:16 +0000 (12:48 +0200)
committerThierry Parmentelat <thierry.parmentelat@inria.fr>
Mon, 9 Sep 2013 10:48:16 +0000 (12:48 +0200)
commit7032808b950a714e27fb3ab1d88104f234c8915f
tree13a2ae7f94d633647fd97191a5ce3b9b1cd077fc
parentbc3b2fd2bdee0b4670245f1e452eadc5e0466e82
parentf887983bf3592fec4e7c2035fa6d910e3808a627
Merge branch 'master' of ssh://git.onelab.eu/git/myslice

# Please enter a commit message to explain why this merge is necessary,
# especially if it merges an updated upstream into a topic branch.
#
# Lines starting with '#' will be ignored, and an empty message aborts
# the commit.