Many hyperlinks are disabled.
Use anonymous login
to enable hyperlinks.
History for .settings/org.eclipse.jdt.ui.prefs
2012-07-22
| ||
08:21 | Added: first checkin file: [4f1dbaae6a] check-in: [1a64cc6fc1] user: jan.nijtmans branch: trunk, size: 8575 | |