1 files changed, 2 insertions, 0 deletions

diff --git a/.gitignore b/.gitignore
index 35f903a..0a123ab 100644
--- a/.gitignore
+++ b/.gitignore
@@ -4,6 +4,8 @@
 *.vo
 *.vos
 *.vok
+*.aux
+*.glob
 *.cache
 
 .direnv/