d7f4fbe6bcd70f33b53e2389ad93f03e06853fd3 - www.eclipse.org/ide

commit: d7f4fbe6bcd70f33b53e2389ad93f03e06853fd3
[log]
author: Christopher Guindon <chris.guindon@eclipse-foundation.org>
Fri Mar 23 16:17:24 2018 -0400
committer: Christopher Guindon <chris.guindon@eclipse-foundation.org>
Fri Mar 23 16:17:24 2018 -0400
tree: dc0356a81a796e006854e13a4d265ba217bf7477
parent: dceb21d361f8a0998df71c559114f576a76854a0 [diff]

/ide should always use default theme

Signed-off-by: Christopher Guindon <chris.guindon@eclipse-foundation.org>

3 files changed

tree: dc0356a81a796e006854e13a4d265ba217bf7477