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
..
src	use push(char) instead of push_str(&str) to add single chars to strings	2020-09-10 13:58:41 +02:00
Cargo.toml	mv compiler to compiler/	2020-08-30 18:45:07 +03:00