Closed sebcrozet closed 10 years ago
Version of rustc: 0.12.0-pre-nightly (2e92c67dc 2014-08-28 23:56:20 +0000).
I don't use it either. Perhaps it should be removed?
I think that's best. If you can push a new version with it removed I'll merge.
@metajack removed.
Thanks
Version of rustc: 0.12.0-pre-nightly (2e92c67dc 2014-08-28 23:56:20 +0000).