Fri, 31 Jan 2020 17:24:45 +0100 Arthur Lutz [doc/dev/CI] initial information about jenkins 3.27
Fri, 31 Jan 2020 17:24:31 +0100 Arthur Lutz [doc/index] fix link to "how to contribute" and add link to dev dashboard 3.27
(0) -10000 -3000 -1000 -300 -100 -30 -10 -2 +2 +10 +30 +100 tip