 Parent Directory
|
|
|
|
|
.settings/
|
|
|
|
|
|
META-INF/
|
|
|
|
|
|
bin/
|
|
|
|
|
|
extensions/
|
|
|
|
|
|
icons/
|
|
|
|
|
|
schema/
|
|
|
|
|
|
src/
|
|
|
|
|
.classpath
|
1.14 |
3 years |
karice |
updated EEs in manifest
|
|
.cvsignore
|
1.1 |
6 years |
nick |
*** empty log message ***
|
|
.options
|
1.3 |
23 months |
tod |
Fix for Bug 211122 [Markers] Errors 'Marker id 301832 not found.' logged when op... |
|
.project
|
1.13 |
18 months |
bbokowski |
Fix for bug 225601: Adopt API tooling for UI bundles
|
|
about.html
|
1.5 |
2 months |
emoffatt |
Fix for Bug 286160 - [Markers] Use 'bottom up' heap sort to optimize the Marker... |
|
build.properties
|
1.10 |
4 years |
nick |
Bug 99040 Remove component.xml files from build.properties
|
|
plugin.properties
|
1.149 |
11 days |
sbrandys |
bug 293555 - Disable Resource Filter decorator by default until new icon is avai... |
|
plugin.xml
|
1.291 |
3 days |
sbeauchamp |
BugÊ293130 - Polishing the Filter extension point
|
