tree 9af0b8aaa790d9aac264a2e4c7285273b60191d4
parent b3a581c70a847118e3f32e1281c8f3d87de2df48
parent ccbb99046dcce7f9e760b37536b7dfd76c662e17
author Markus Duft <markus.duft@ssi-schaefer.com> 1538059756 -0400
committer Gerrit Code Review @ Eclipse.org <gerrit@eclipse.org> 1538059756 -0400

Merge "make preference import refresh tea config"