tree ba9dd289d64fba39dbe1444676facd3b51f7701e
parent a5ed9ce573bca1a40d677d546c948b6163501bf7
author Jonathan Hui <jonhui@google.com> 1562968635 -0700
committer Jonathan Hui <jonhui@google.com> 1564607790 -0700

[config] move default configs to src/core/config (#4020)