diff --git a/tools/bookmarklets.html b/tools/bookmarklets.html index 9800ab5aef..6034b57575 100644 --- a/tools/bookmarklets.html +++ b/tools/bookmarklets.html @@ -1,5 +1,5 @@ - +