Skip to content
Snippets Groups Projects
Normal view Permalink
.gitignore 77 B
Newer Older
  • Learn to ignore specific revisions
    • Max New's avatar
    Hello, synthetic world!
    Max New committed
    1 2 3 4 
    *.aux
*.log
/gtlc.pdf
*.agdai
    Eric Giovannini's avatar
    Update gitignore  
    Eric Giovannini committed
    5 6 7 8 9 
    *.fls
*.fdb_latexmk
*.synctex.gz
*.out
*.agda~