| commit | fe3f0a2490a0ff3b62d5d67e9dc613f2ac0fd328 | [log] [tgz] |
|---|---|---|
| author | cknaus <cknaus> | Wed May 08 10:50:27 2002 +0000 |
| committer | cknaus <cknaus> | Wed May 08 10:50:27 2002 +0000 |
| tree | 832b06ba734ca3989bb714708c5b920d661c89f1 | |
| parent | 3a2809e376ecc9fc8eedea4691a37f846fdfd355 [diff] |
adapted to jdt.core change in preferences