Code

rust / build: Remove the rust tool#9785

Code

Merged

bors merged 1 commit intorust-lang:masterrust-lang/rust:masterfrom catamorphism:remove-convenience-toolcatamorphism/rust:remove-convenience-toolCopy head branch name to clipboardOct 11, 2013

+1-442

Commits

Commits on Oct 10, 2013

• rust / build: Remove the rust tool

  Show description for a9dddba
  catamorphism

  committed
  a9dddba

  Copy full SHA for a9dddba