diff options
| author |  Masood Malekghassemi <atash@google.com> | 2016-12-27 09:23:52 -0800 |
|---|---|---|
| committer | Masood Malekghassemi <atash@google.com> | 2016-12-27 09:57:13 -0800 |
| commit | db422d7eba8c33af913131b85bb2e9316a3c383f (patch) | |
| tree | e528944a27db1b63b0e64eab1c5feeb11d6f226e /tools/distrib/check_copyright.py | |
| parent | 25186ae0f1245851bb017fde407ab2a23a645d98 (diff) | |
Provide doc dir even if user interrupts docgen
Diffstat (limited to 'tools/distrib/check_copyright.py')
0 files changed, 0 insertions, 0 deletions