fixes in layout
authorThierry Parmentelat <thierry.parmentelat@inria.fr>
Fri, 15 Jan 2016 08:43:48 +0000 (09:43 +0100)
committerThierry Parmentelat <thierry.parmentelat@inria.fr>
Fri, 15 Jan 2016 08:43:48 +0000 (09:43 +0100)
could now use a bit of styling


No differences found