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

mv compiler to compiler/

2020-08-30 18:45:07 +03:00

dumper.rs

mv compiler to compiler/

2020-08-30 18:45:07 +03:00

lib.rs

use push(char) instead of push_str(&str) to add single chars to strings

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

sig.rs

use push(char) instead of push_str(&str) to add single chars to strings

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

span_utils.rs

mv compiler to compiler/

2020-08-30 18:45:07 +03:00