diff --git a/.gitignore-beam b/.gitignore-beam new file mode 100644 index 0000000000000000000000000000000000000000..76e082a77881a8f93ebe03e4bb20d58b6ff32347 --- /dev/null +++ b/.gitignore-beam @@ -0,0 +1,6 @@ +*.log +*.out +main.pdf +*.nav +.DS_Store +*.gz