nicer line breaks
authorThierry Parmentelat <thierry.parmentelat@inria.fr>
Mon, 18 Mar 2013 14:37:04 +0000 (15:37 +0100)
committerThierry Parmentelat <thierry.parmentelat@inria.fr>
Mon, 18 Mar 2013 14:37:04 +0000 (15:37 +0100)
commitc187f0b7d99eea1275cd6d322b37e6212447ace9
treedb0887aa721c8264e01b9675db0e5ca2d7a6e9d9
parent4bc3a23f5ac1b989caa4862bd6f3f8099eee219b
nicer line breaks
unfold/templates/header-prelude.html