wjwrh 1721ddc231 Fix the problem of different edition between rustc and rust-analyzer

2023-02-05 14:10:23 +08:00

..

exercise.rs

Fix the problem of different edition between rustc and rust-analyzer

2023-02-05 14:10:23 +08:00

main.rs

chore(watch): decrease watch delay

2023-01-04 04:49:51 -05:00

project.rs

Merge pull request #1316 from tklauser/fix-fn-typo

2023-01-03 14:19:17 +01:00

run.rs

Apply uninlined-format-args clippy lint

2022-10-12 16:43:07 -04:00

ui.rs

style: formatted files with rustfmt

2021-04-18 15:40:47 +02:00

verify.rs

fix(verify): progress bar proportion now updates with the number of files verified

2023-01-03 23:54:01 +09:30