-
Notifications
You must be signed in to change notification settings - Fork 56
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Is this project dead? If so, could at least the Eclipse update site issue be fixed? #1624
Comments
Vise versa, the project is alive yet the update site have seen better days. I promise you will be notified whether this issue (faculty servers policy changes) is solved. I close this issue, you may stay tuned to #1622. |
@OriRoth : please do it |
New version 2.13.5: with spartan jar file in eclipse dropins folder and starting eclipse with -clean doesn't appear to do anything. |
@hanneshorn it is probably a problem with the manual plugin installation. There is a new top menu option called |
The update site for the plugin specified at the Eclipse marketplace is on again! You can install the plugin in the usual way.
|
No description provided.
The text was updated successfully, but these errors were encountered: