diff options
| author | john.j.camilleri <john.j.camilleri@chalmers.se> | 2012-06-13 11:22:15 +0000 |
|---|---|---|
| committer | john.j.camilleri <john.j.camilleri@chalmers.se> | 2012-06-13 11:22:15 +0000 |
| commit | 8538f34ac88abd3ef6161d810b5c1cde039aa1f0 (patch) | |
| tree | 19f041685e916b573a5c7923994b1bc6276b6969 | |
| parent | 3ad5493758227a3d273dea66061fa254f14c886d (diff) | |
GFEP: updated readme
| -rw-r--r-- | eclipse/index.html | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/eclipse/index.html b/eclipse/index.html index b8260716d..c454e93fc 100644 --- a/eclipse/index.html +++ b/eclipse/index.html @@ -179,6 +179,8 @@ You should enter an absolute system path, up to and including the <code>src</cod <li>Any available updates will appear in the dialog. Select them and follow the usual steps.</li> </ol> +<p><em>Note:</em> You will probably want to uncheck the <strong>Contact all update sites during install to find required software</strong> option, which is not usually needed when simply updating the plugin (it makes things go a lot slower).</p> + <h4>Deprecated stuff</h4> <ul> |