diff --git a/website/templates/setup/eclipse.html b/website/templates/setup/eclipse.html index d9621501..72160446 100644 --- a/website/templates/setup/eclipse.html +++ b/website/templates/setup/eclipse.html @@ -34,5 +34,7 @@

+

NB: You need to actually quit Eclipse and start it again; the regular restart is not good enough. +