diff --git a/doc/testing.html b/doc/testing.html index 49227421dcf..97960a7e994 100644 --- a/doc/testing.html +++ b/doc/testing.html @@ -27,6 +27,7 @@
  • Configuration
  • Test selection