diff --git a/webpage/docs/resources.html b/webpage/docs/resources.html index 121eb5328..8cca3ef56 100644 --- a/webpage/docs/resources.html +++ b/webpage/docs/resources.html @@ -88,6 +88,12 @@