diff --git a/docs/config.html b/docs/config.html index e9136c724..6bc8522ed 100644 --- a/docs/config.html +++ b/docs/config.html @@ -404,6 +404,12 @@
  • Checks For Blocks
    • +
  • + Checks For Coding Problems +
    • +
  • + Checks For Design Problems +
  • Miscellaneous Checks