Matthias Krüger 9bb10cc907 use push(char) instead of push_str(&str) to add single chars to strings ...

clippy::single-char-push-str

2020-09-10 13:58:41 +02:00

..

dump_visitor.rs

…

dumper.rs

…

lib.rs

…

sig.rs

…

span_utils.rs

…