commit | ece6be0941d644220065f891c7d8b8d7bdf6d062 | [log] [tgz] |
---|---|---|
author | DJ Houghton <dj> | Wed Sep 29 17:05:06 2004 +0000 |
committer | DJ Houghton <dj> | Wed Sep 29 17:05:06 2004 +0000 |
tree | 93d88fb7b7a21adb190b7e69251181c14797f8ce | |
parent | 4ef34066a4a759e4eaaafd16eb34ea58245c28d6 [diff] |
Bug 75212 - [prefs] Switching to a new build changes the jdt/core preferences setting file