diff options
| author |  Vijay Pai <vpai@google.com> | 2017-09-11 12:15:30 -0700 |
|---|---|---|
| committer |  GitHub <noreply@github.com> | 2017-09-11 12:15:30 -0700 |
| commit | 9f0c86afcc0eea8964418fd477ed77498c2cbdf8 (patch) | |
| tree | fd987717afe0700ba9c3c60ea7e7538f6ac8f561 /src | |
| parent | 55c4b31389d5557b88d39bde6d783d68aa747de7 (diff) | |
| parent | 0ebc3ad22b50ec759b5949f682bdf4b679f305b4 (diff) | |
Merge pull request #12480 from vjpai/ownit
Temporarily take ownership of cpp generator to prevent changes
Diffstat (limited to 'src')
| -rw-r--r-- | src/compiler/OWNERS | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/compiler/OWNERS b/src/compiler/OWNERS new file mode 100644 index 0000000000..96b89fc60f --- /dev/null +++ b/src/compiler/OWNERS @@ -0,0 +1 @@ +@vjpai cpp_generator.cc |