diff options
author | Aleksey Kladov <[email protected]> | 2019-06-10 23:06:11 +0100 |
---|---|---|
committer | Aleksey Kladov <[email protected]> | 2019-06-10 23:26:20 +0100 |
commit | 156b7ee84210583fa2fdc7fb8ae1dccafdf80830 (patch) | |
tree | 5e0d18e023a095c64a02f1c44c4a82245c89beeb /docs/dev/guide.md | |
parent | 75e6c03883c4533b1134c806d166b72200b4837d (diff) |
use single version of either in hir
Diffstat (limited to 'docs/dev/guide.md')
0 files changed, 0 insertions, 0 deletions