diff --git a/.gitignore b/.gitignore index 4539085abc5cfcc8f6121790891f89f18764e698..c941eaf0a4e51f56fb58daad06d5f2bae88bbd14 100644 --- a/.gitignore +++ b/.gitignore @@ -3,4 +3,18 @@ _build/ *.install bin/dune-project -.merlin \ No newline at end of file +.merlin +*.o +*.seed +*.rif +lib/sasacore/sasaVersion.ml +*.pdf +*.log +*.save +rdbg-session*.ml +my-rdbg-tuning.ml +*.lut +*.org_archive +Makefile.local +notes.org +sasa-*.dot \ No newline at end of file