diff -r b2d1c3b0bd31 -r 650527b39f00 doc/testing.html --- a/doc/testing.html Wed Jan 23 13:40:09 2019 +0100 +++ b/doc/testing.html Thu Jan 24 11:15:31 2019 +0100 @@ -34,6 +34,7 @@
  • Test results and summary
  • Test suite control