diff --git a/doc/eclipse.html b/doc/eclipse.html index ca7076c29a..08e5a889ad 100644 --- a/doc/eclipse.html +++ b/doc/eclipse.html @@ -44,6 +44,12 @@