3 Commits

Author	SHA1	Message	Date
Ralf Jung	366d11b2d8	enable rustc lints ... (but not in cargo-miri and ui_test)	2022-08-07 09:45:42 -04:00
Ralf Jung	08e7d94562	avoid some string copies...	2022-08-06 21:31:40 -04:00
Ralf Jung	29e9a8aa1a	split cargo-miri into multiple files ... also greatly extend the 'who calls who' comment	2022-08-02 22:01:03 -04:00