| commit | 7fe9bc5c89ff8f9d51be7436a256ca896a4aaf6c | [log] [tgz] |
|---|---|---|
| author | aweinand | Mon May 09 13:16:08 2005 +0000 |
| committer | aweinand | Mon May 09 13:16:08 2005 +0000 |
| tree | c11a540486d7cf8c6fae7df90f25f9487996ee6d | |
| parent | d57c0a4c62e70a572d3a79420be63fb19359a7d5 [diff] |
fixed #94046: jdt.launching.macosx must specify the Eclipse-PlatformFilter header