Minor cosmetics.
authorFrancois Fleuret <francois@fleuret.org>
Fri, 9 Sep 2016 10:24:13 +0000 (12:24 +0200)
committerFrancois Fleuret <francois@fleuret.org>
Fri, 9 Sep 2016 10:24:13 +0000 (12:24 +0200)
commita014985119307fe97a26f33a98c9c5d7b99f09f2
tree47b27d96a784d85b6a08b7302716411b867b77f2
parent6408d9fe6e1b82ad9aa71d6e1702ec100a8c3ca1
Minor cosmetics.
universe.cc