| commit | 17f5f35d54ffb7ee7f4c4170305eb9926dbf8c46 | [log] [tgz] |
|---|---|---|
| author | spingel | Fri Jul 30 22:26:25 2010 +0000 |
| committer | spingel | Fri Jul 30 22:26:25 2010 +0000 |
| tree | f9668242f4c6d1db629fe6fce8129819a2df9c98 | |
| parent | 1da8cf0698d687b2c5783e6be5ff85729b4746df [diff] |
NEW - bug 320141: provide option to turn off resource monitoring https://bugs.eclipse.org/bugs/show_bug.cgi?id=320141