Mon, 28 Dec 2015 15:50:04 +0100 getting various changes from github
ymh <ymh.work@gmail.com> [Mon, 28 Dec 2015 15:50:04 +0100] rev 1069
getting various changes from github
Fri, 02 Oct 2015 11:27:17 +0200 merge pull request #3 from O. Auber
ymh <ymh.work@gmail.com> [Fri, 02 Oct 2015 11:27:17 +0200] rev 1068
merge pull request #3 from O. Auber
(0) -1000 -300 -100 -30 -10 -2 +2 +10 tip