diff options
| author | bors[bot] <bors[bot]@users.noreply.github.com> | 2019-04-09 08:29:06 +0100 |
|---|---|---|
| committer | bors[bot] <bors[bot]@users.noreply.github.com> | 2019-04-09 08:29:06 +0100 |
| commit | 5f700179fc7ed16d2848a6dbc7cf23da3b8df6c7 (patch) | |
| tree | 9fb5bbab15472c7d5b870a65c0ec34256b13c428 /.gitignore | |
| parent | ac6ab0758731d0555fbf1b1a918abd3e12c8169d (diff) | |
| parent | faf526e021e09770cae28f8d7c8ee88a54d6574d (diff) | |
Merge #1123
1123: migrate to untyped rowan r=matklad a=matklad
Co-authored-by: Aleksey Kladov <[email protected]>
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions