diff --git a/tools/developer.html b/tools/developer.html index df4b4f7a2a..8062aa274b 100644 --- a/tools/developer.html +++ b/tools/developer.html @@ -61,7 +61,7 @@
...