Skip to content

Add rust target dir and Cargo.lock to gitignore

Niels Vooijs requested to merge nvooijs/program-verification-with-types-and-logic:gitignore into master

(See title)

Merge request reports