aboutsummaryrefslogtreecommitdiff
path: root/docs/dev/guide.md
diff options
context:
space:
mode:
authorAleksey Kladov <[email protected]>2019-06-10 23:06:11 +0100
committerAleksey Kladov <[email protected]>2019-06-10 23:26:20 +0100
commit156b7ee84210583fa2fdc7fb8ae1dccafdf80830 (patch)
tree5e0d18e023a095c64a02f1c44c4a82245c89beeb /docs/dev/guide.md
parent75e6c03883c4533b1134c806d166b72200b4837d (diff)
use single version of either in hir
Diffstat (limited to 'docs/dev/guide.md')
0 files changed, 0 insertions, 0 deletions