dottes: revision graph

graph

less more | rev 797: (0) -300 -100 -30 -10 -4 +4 +10 +30 +100 tip

Fix typo in Hardy commentary in Enrico.
Thu, 26 Apr 2018 16:43:40 +0100, by Jim Hague
Added tag build-default-299 for changeset c979a83fdd26
Thu, 26 Apr 2018 16:30:48 +0100, by Jenkins Build Manager
Merge with upstream. build-default-299
Thu, 26 Apr 2018 15:05:29 +0100, by Jim Hague
Don't display tradition on website or print.
Thu, 26 Apr 2018 14:07:50 +0100, by Jim Hague

less more | rev 797: (0) -300 -100 -30 -10 -4 +4 +10 +30 +100 tip