diff options
| author |  Guantao Liu <guantaol@google.com> | 2018-10-02 18:34:59 -0700 |
|---|---|---|
| committer | Guantao Liu <guantaol@google.com> | 2018-10-02 19:45:35 -0700 |
| commit | e6824674f428362ba8a8011ce34ca5e83abb0fe5 (patch) | |
| tree | 5e1d357b0ac159571c33d1f7b052d052c0872b8f /.github | |
| parent | 668a16327b28285bc13864de13ed43f38e1fe7a8 (diff) | |
Cover the case that there is no command-line argument.
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions