Skip to content

remove the rusti command and the linenoise library - #9897

Merged
bors merged 2 commits into
rust-lang:masterfrom
thestinger:rusti
Oct 17, 2013
Merged

bors merged 2 commits into
rust-lang:masterfrom
thestinger:rusti

Conversation

@thestinger

Copy link
Copy Markdown
Contributor

Closes #9818
Closes #9567
Closes #8924
Closes #8910
Closes #8392
Closes #7692
Closes #7499
Closes #7220
Closes #5038

Closes #9818
Closes #9567
Closes #8924
Closes #8910
Closes #8392
Closes #7692
Closes #7499
Closes #7220
bors added a commit that referenced this pull request Oct 17, 2013
Closes #9818
Closes #9567
Closes #8924
Closes #8910
Closes #8392
Closes #7692
Closes #7499
Closes #7220
Closes #5038
@bors bors closed this Oct 17, 2013
@bors
bors merged commit f766aca into rust-lang:master Oct 17, 2013
U007D pushed a commit to U007D/rust-mos that referenced this pull request Aug 21, 2026
9897: internal: remove old editing API r=matklad a=matklad

bors r+
🤖

Co-authored-by: Aleksey Kladov <aleksey.kladov@gmail.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment