]> git.lizzy.rs Git - rust.git/commit - src/tools/miri
Rollup merge of #81841 - aDotInTheVoid:rdj_docs, r=jyn514
authorDylan DPC <dylan.dpc@gmail.com>
Tue, 9 Feb 2021 01:39:57 +0000 (02:39 +0100)
committerGitHub <noreply@github.com>
Tue, 9 Feb 2021 01:39:57 +0000 (02:39 +0100)
commit3619a6277af014d72c9bfbc6a8fcb3a5c4238d25
tree5c4b49ce2d6f5c7adae020ba4d8b8084f6eb75fc
parent1652759581515aedce741a41fecc9184240678a7
parent3e177a8e9d4ac34973bfdc10e0d4fbed6e7f66d7
Rollup merge of #81841 - aDotInTheVoid:rdj_docs, r=jyn514

[rustbuild] Output rustdoc-json-types docs

`@rustbot` modify labels +A-rustdoc-json +T-doc +T-rustdoc +A-rustbuild +A-contributor-roadblock