diff --git a/www/docs/tools.t b/www/docs/tools.t index 95f2083c80..0be8201666 100644 --- a/www/docs/tools.t +++ b/www/docs/tools.t @@ -306,6 +306,13 @@