diff --git a/.gitignore b/.gitignore index b39d25e..b639a28 100644 --- a/.gitignore +++ b/.gitignore @@ -20,6 +20,9 @@ docs/book/html_proof *.proof.* test_result.* -# Generated by Cargo +# Generated by build script src/lib/localize_macros.rs +lang/crowbook.pot + +# Generated by Cargo /target/