Tue, 04 Dec 2018 15:53:25 +0100 Damien Correia Merge default dev-dc
Tue, 04 Dec 2018 15:12:38 +0100 Thierry Florac Added paragraph title
Tue, 04 Dec 2018 12:33:23 +0100 Thierry Florac Updated resources
Fri, 30 Nov 2018 14:47:53 +0100 Thierry Florac Added tag 0.1.18 for changeset 41f43b3456db
Fri, 30 Nov 2018 14:47:53 +0100 Thierry Florac Version 0.1.18 0.1.18
Fri, 30 Nov 2018 14:37:05 +0100 Thierry Florac Added monospaced font
(0) -100 -30 -10 -6 +6 +10 +30 +100 tip