diff -r 26e2cfebcfba -r a430555c3d4e doc/testing.html --- a/doc/testing.html Tue Dec 11 15:18:57 2018 +0100 +++ b/doc/testing.html Tue Dec 11 15:21:50 2018 +0100 @@ -1,19 +1,24 @@ - +