tree dc0356a81a796e006854e13a4d265ba217bf7477
parent dceb21d361f8a0998df71c559114f576a76854a0
author Christopher Guindon <chris.guindon@eclipse-foundation.org> 1521836244 -0400
committer Christopher Guindon <chris.guindon@eclipse-foundation.org> 1521836244 -0400

/ide should always use default theme

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