diff options
author | bors[bot] <bors[bot]@users.noreply.github.com> | 2018-02-11 10:19:32 +0000 |
---|---|---|
committer | bors[bot] <bors[bot]@users.noreply.github.com> | 2018-02-11 10:19:32 +0000 |
commit | 7a0ada860b57acd44b1d53e944ae621e438652da (patch) | |
tree | 206edfb15c0eec57c1872a2acc435d7f38df1c88 /tools/src | |
parent | 7176029803fe2e00f29ab7d20a384e3ee6f53ba3 (diff) | |
parent | 65ebfd9a34554b8139d5c4673bc3b5daa5ab0df5 (diff) |
Merge #49
49: Simplify r=matklad a=matklad
bors r+
Diffstat (limited to 'tools/src')
0 files changed, 0 insertions, 0 deletions