diff options
| author |  Kristina Chodorow <kchodorow@google.com> | 2016-06-30 14:26:11 +0000 |
|---|---|---|
| committer |  Lukacs Berki <lberki@google.com> | 2016-07-01 07:08:28 +0000 |
| commit | dd7bd50ad1f6cdddea218c704c933239e31ce7bf (patch) | |
| tree | 9b410f58d334cf57d8a00270c17df4178dcc6870 /examples | |
| parent | 6b6ff76945c80fb8b11b71d402b5146c85b86859 (diff) | |
Make repository name warning less noisy
This way it won't print if the repo maintainer doesn't set the repo name.
--
MOS_MIGRATED_REVID=126300205
Diffstat (limited to 'examples')
0 files changed, 0 insertions, 0 deletions