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

..

mod.rs

mv compiler to compiler/

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

type_names.rs

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

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