diff --git a/.gitignore b/.gitignore new file mode 100644 index 0000000..d723d1c --- /dev/null +++ b/.gitignore @@ -0,0 +1,12 @@ +output/ +*.aux +*.log +*.nav +*.out +*.pdf +*.snm +*.synctex.gz +*.toc +notes +cours-crypto-old.md +tp-bd-files/prof/