diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-07-17 11:43:33 +0100 |
|---|---|---|
| committer | GitHub <[email protected]> | 2020-07-17 11:43:33 +0100 |
| commit | 6ae6c1460e1e0524664af39fd0dbe3b1af3fac50 (patch) | |
| tree | 7e2e84a42863d4cc284e2954198e944e3cc7b3a1 /xtask/src/codegen/gen_feature_docs.rs | |
| parent | f157a0983a11132a3095f4241d60759c81a7ef26 (diff) | |
| parent | d7548a36a7e814a165b05ffcb9ec5b55e0b291da (diff) | |
Merge #5420
5420: Unclutter NavigationTarget API r=matklad a=matklad
bors r+
🤖
Co-authored-by: Aleksey Kladov <[email protected]>
Diffstat (limited to 'xtask/src/codegen/gen_feature_docs.rs')
0 files changed, 0 insertions, 0 deletions