Fri, 04 Jan 2013 18:14:35 +0100 veltr Added tag V01.13 for changeset 331e70527d74
Fri, 04 Jan 2013 18:13:55 +0100 veltr Set version to 1.13 V01.13
Fri, 04 Jan 2013 18:12:10 +0100 veltr Merging...
Fri, 04 Jan 2013 18:10:03 +0100 veltr Various fixes
(0) -30 -10 -4 +4 +10 +30 tip