Skip to content

remove the rusti command and the linenoise library#9897

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

Commits

Commits on Oct 17, 2013