Merge pull request #447 from rofrol/rust-remove-readline.rs
authorJoel Martin <github@martintribe.org>
Tue, 17 Sep 2019 19:01:42 +0000 (14:01 -0500)
committerGitHub <noreply@github.com>
Tue, 17 Sep 2019 19:01:42 +0000 (14:01 -0500)
rust: remove readline.rs


Trivial merge