diff options
| author | bors <bors@rust-lang.org> | 2019-01-21 03:12:26 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2019-01-21 03:12:26 +0000 |
| commit | b5f5a2715ed8685bc19fd589a23c7c658c2fe6bd (patch) | |
| tree | d827ca2e124ad4bfc849b0a6f33e74f476d1c28a /src/librustdoc/html/static/source-script.js | |
| parent | 7bac68a5d36d18f6ddcf4a3e3bd9f276bb2d18e5 (diff) | |
| parent | bf9c0fb650e94fc522e1583d557c43320d2f41c0 (diff) | |
| download | rust-b5f5a2715ed8685bc19fd589a23c7c658c2fe6bd.tar.gz rust-b5f5a2715ed8685bc19fd589a23c7c658c2fe6bd.zip | |
Auto merge of #57708 - nbigaouette:pr-53774-fix-missing-rust-gdbui-install, r=Mark-Simulacrum
Install missing 'rust-gdbui'' PR #53774 added `rust-gdbui` as wrapper to launch [gdbui](https://gdbgui.com/), similar to `rust-gdb`. Unfortunately I've never seen the script in my local installation (from rustup, using rust 1.31.1). @tromey on the PR [suggested it might be missing](https://github.com/rust-lang/rust/pull/53774#issuecomment-419704939) from the installation process. This PR simply adds a line for `rust-gdbui` too.
Diffstat (limited to 'src/librustdoc/html/static/source-script.js')
0 files changed, 0 insertions, 0 deletions