Thu, 22 Jan 2015 10:30:36 +0100 Add 1 hour to annot timsetamp to catch up the current time
rougeronj [Thu, 22 Jan 2015 10:30:36 +0100] rev 114
Add 1 hour to annot timsetamp to catch up the current time
Thu, 22 Jan 2015 10:01:59 +0100 Minor time correction
rougeronj [Thu, 22 Jan 2015 10:01:59 +0100] rev 113
Minor time correction
Thu, 22 Jan 2015 09:29:49 +0100 Merge with e4f0c105090d38f4b60699716dd20166e38e40da
rougeronj [Thu, 22 Jan 2015 09:29:49 +0100] rev 112
Merge with e4f0c105090d38f4b60699716dd20166e38e40da
(0) -100 -30 -10 -3 +3 +10 +30 tip