| david_williams | c0a7d56 | 2005-05-30 07:51:05 +0000 | [diff] [blame] | 1 | #Mon May 30 03:47:46 EDT 2005 |
| 2 | eclipse.preferences.version=1 | ||||
| 3 | internal.default.compliance=user | ||||
| 4 | org.eclipse.jdt.ui.exception.name=e | ||||
| 5 | org.eclipse.jdt.ui.gettersetter.use.is=true | ||||
| 6 | org.eclipse.jdt.ui.overrideannotation=true | ||||