Thu, 30 Aug 2012 15:00:21 +0200 veltr Docs now refer to default branch
Thu, 30 Aug 2012 14:45:23 +0200 veltr Now merged into default new-model
Thu, 30 Aug 2012 14:42:52 +0200 veltr Post-merge corrections
Thu, 30 Aug 2012 13:16:33 +0200 veltr Merge with a882cc0c936f15f14929ce37958cd9518e8fa653
(0) -300 -100 -30 -10 -4 +4 +10 +30 +100 tip