# Compiled files
Cargo.lock
*.o
*.so
*.rlib
*.dll
*~
.*
\#*

# Generated by checkinstall
doc-pak/


# Executables
*.exe

# Rendered files
docs/book/html_proof
*.proof.*
test_result.*

# Generated by build script
lang/crowbook.pot

# Generated by Cargo
/target/
