diff options
| author | Linus Nordberg <linus@nordu.net> | 2015-11-20 10:48:44 +0100 |
|---|---|---|
| committer | Linus Nordberg <linus@nordu.net> | 2015-11-20 10:49:17 +0100 |
| commit | 65764072954bd517cbc8af0a6e523b64f0a0801c (patch) | |
| tree | 822db37633ab2334df58d42c3c41bc2fecc65ebc /tools/check-sth.py | |
| parent | 7fca4ce10392bd854230d42c7d72b36682d5f85e (diff) | |
Make merge_sth work again after last commit.gaol5
Diffstat (limited to 'tools/check-sth.py')
0 files changed, 0 insertions, 0 deletions