diff options
| author | Darin Swanson | 2004-03-31 19:30:20 +0000 |
|---|---|---|
| committer | Darin Swanson | 2004-03-31 19:30:20 +0000 |
| commit | 9ff73d3ad1a9cf9747a3db90631d5e14cf3821f6 (patch) | |
| tree | 480ca14daa771ede129f321749a9e6f1255cb70b /org.eclipse.ui.externaltools | |
| parent | 52305b3064650f4f04b46287a4bae7dcb4299ebb (diff) | |
| download | eclipse.platform.debug-9ff73d3ad1a9cf9747a3db90631d5e14cf3821f6.tar.gz eclipse.platform.debug-9ff73d3ad1a9cf9747a3db90631d5e14cf3821f6.tar.xz eclipse.platform.debug-9ff73d3ad1a9cf9747a3db90631d5e14cf3821f6.zip | |
Bug 56035 - Console text font should be moved to Workbench Appearance
Diffstat (limited to 'org.eclipse.ui.externaltools')
0 files changed, 0 insertions, 0 deletions