diff options
| author | Linus Nordberg <linus@nordu.net> | 2015-07-17 01:41:21 +0200 |
|---|---|---|
| committer | Linus Nordberg <linus@nordu.net> | 2015-07-17 01:41:21 +0200 |
| commit | d643db5f029b44b8e0d876790badb65fde8fa5ab (patch) | |
| tree | 0bd9c7be7ed39be39c0efa064575a0b2c1e22275 /tools/check-sth.py | |
| parent | 9ab683a3e99348d3b452cf90a40fa01b6c3be72c (diff) | |
Add --noverify option to merge.py.
Diffstat (limited to 'tools/check-sth.py')
0 files changed, 0 insertions, 0 deletions