Merge pull request #2104 from whitequark/simplify-techmap
authorwhitequark <whitequark@whitequark.org>
Wed, 3 Jun 2020 12:45:02 +0000 (12:45 +0000)
committerGitHub <noreply@github.com>
Wed, 3 Jun 2020 12:45:02 +0000 (12:45 +0000)
commit577859fbdbefaabac4a3c61288264f2505261586
tree53d071309cc72d512d4b54ec866bb04d3c944206
parent4b3f48a7ec5d00395f50d46ed0222c01dee9fc09
parentfb5b070e7e9e22b02a3ee94217c8ae20cef41f0b
Merge pull request #2104 from whitequark/simplify-techmap

techmap: simplify