diff options
| author | Dani Megert | 2008-07-16 12:45:34 +0000 |
|---|---|---|
| committer | Dani Megert | 2008-07-16 12:45:34 +0000 |
| commit | da7db6c518f6076fc4ba5da68027a8f580151d0a (patch) | |
| tree | fc530f79afdd6eb4c9fa4ad8c599992092bd8d00 /org.eclipse.ui.editors/.settings/org.eclipse.jdt.core.prefs | |
| parent | 2d92fa9112e2196b6157c70e6578280a9c6ac666 (diff) | |
| download | eclipse.platform.text-da7db6c518f6076fc4ba5da68027a8f580151d0a.tar.gz eclipse.platform.text-da7db6c518f6076fc4ba5da68027a8f580151d0a.tar.xz eclipse.platform.text-da7db6c518f6076fc4ba5da68027a8f580151d0a.zip | |
Added missing @deprecated tag.
Diffstat (limited to 'org.eclipse.ui.editors/.settings/org.eclipse.jdt.core.prefs')
0 files changed, 0 insertions, 0 deletions