Thu, 15 Nov 2018 14:03:07 +0100 Thierry Florac Merge branch dev-dc
Thu, 15 Nov 2018 12:13:18 +0100 Damien Correia Updated Milestone: label textline to text field dev-dc
Thu, 15 Nov 2018 12:11:23 +0100 Damien Correia Merge Default dev-dc
(0) -1000 -300 -100 -30 -10 -3 +3 +10 +30 +100 +300 tip