diff options
author | Joshua Haberman <jhaberman@gmail.com> | 2017-05-31 14:33:43 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-05-31 14:33:43 -0700 |
commit | 04fcf0b112deab5bf83673e78e3825155d6fdee1 (patch) | |
tree | b9dc70a8db0163dfbaa5a8c53a012fe8810188da /upb/descriptor/descriptor.pb | |
parent | 3f3ee548f16a2c6d94c2c9cbe161e5b306269e79 (diff) | |
parent | f15e6764bd1d27d33b5bbf0f5bc7c23bcc837128 (diff) |
Merge pull request #83 from TeBoring/master
Add new file option php_namespace.
Diffstat (limited to 'upb/descriptor/descriptor.pb')
-rw-r--r-- | upb/descriptor/descriptor.pb | bin | 6383 -> 6420 bytes |
1 files changed, 0 insertions, 0 deletions
diff --git a/upb/descriptor/descriptor.pb b/upb/descriptor/descriptor.pb Binary files differindex 9efe971..74bc3bc 100644 --- a/upb/descriptor/descriptor.pb +++ b/upb/descriptor/descriptor.pb |