tree e38e26aa53e469ba43ec8a5b0046ffaf7746e65c
parent c1bfef68f9c444244b42284801a6024414c21f4a
author Googler <noreply@google.com> 1465866344 +0000
committer Yue Gan <yueg@google.com> 1465892153 +0000

Allow a config_setting() to match against the default grte_top.

--
MOS_MIGRATED_REVID=124792198