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