From: Arnaud Giersch Date: Mon, 7 May 2012 12:27:54 +0000 (+0200) Subject: Cosmetics: insert a space before dotted lines. X-Git-Tag: v0.3~13 X-Git-Url: https://bilbo.iut-bm.univ-fcomte.fr/and/gitweb/loba.git/commitdiff_plain/ae7e1cc677c476f528ac4b75a69c5cc4722ec23b?hp=ae7e1cc677c476f528ac4b75a69c5cc4722ec23b Cosmetics: insert a space before dotted lines. ---