diff options
author | Jisi Liu <liujisi@google.com> | 2016-10-26 13:42:08 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2016-10-26 13:42:08 -0700 |
commit | 734930f9197b7bc97c3c794c7a949fee2a08c280 (patch) | |
tree | 0a41c4d1d7da0ce7c9f82fb1a29bb8041fa296df /jenkins/pull_request_in_docker.sh | |
parent | 51c5ff889ccd3836c25f40baafb350f92c9ee103 (diff) | |
parent | 2e314a697a2270f316f503ad7f71dd355c656267 (diff) | |
download | protobuf-734930f9197b7bc97c3c794c7a949fee2a08c280.tar.gz protobuf-734930f9197b7bc97c3c794c7a949fee2a08c280.tar.bz2 protobuf-734930f9197b7bc97c3c794c7a949fee2a08c280.zip |
Merge pull request #2284 from pherl/plugin_opt
Support extra parameters for plugins.
Diffstat (limited to 'jenkins/pull_request_in_docker.sh')
0 files changed, 0 insertions, 0 deletions