forked from eclipse-jdt/eclipse.jdt.core
-
Notifications
You must be signed in to change notification settings - Fork 0
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Retire org.eclipse.jdt.annotation_v1 from Github repo
org.eclipse.jdt.annotation_v1 is not part of the build anymore and now also require Java 8 similar to org.eclipse.jdt.annotation. Fixes eclipse-jdt#3399
- Loading branch information
Showing
17 changed files
with
0 additions
and
1,066 deletions.
There are no files selected for viewing
This file was deleted.
Oops, something went wrong.
This file was deleted.
Oops, something went wrong.
2 changes: 0 additions & 2 deletions
2
org.eclipse.jdt.annotation_v1/.settings/org.eclipse.core.resources.prefs
This file was deleted.
Oops, something went wrong.
2 changes: 0 additions & 2 deletions
2
org.eclipse.jdt.annotation_v1/.settings/org.eclipse.core.runtime.prefs
This file was deleted.
Oops, something went wrong.
418 changes: 0 additions & 418 deletions
418
org.eclipse.jdt.annotation_v1/.settings/org.eclipse.jdt.core.prefs
This file was deleted.
Oops, something went wrong.
202 changes: 0 additions & 202 deletions
202
org.eclipse.jdt.annotation_v1/.settings/org.eclipse.jdt.ui.prefs
This file was deleted.
Oops, something went wrong.
94 changes: 0 additions & 94 deletions
94
org.eclipse.jdt.annotation_v1/.settings/org.eclipse.pde.api.tools.prefs
This file was deleted.
Oops, something went wrong.
35 changes: 0 additions & 35 deletions
35
org.eclipse.jdt.annotation_v1/.settings/org.eclipse.pde.prefs
This file was deleted.
Oops, something went wrong.
This file was deleted.
Oops, something went wrong.
Oops, something went wrong.