summaryrefslogtreecommitdiff
path: root/.gitignore
blob: 433f6003521461e930d2a1e93aa68bb47b6afb6a (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
# Temporary files of text editors
*.swp
*~
tags

# Tests : KCG & C build products
tests/kcg
*.log
*.test

# OCaml build products
_build
analyze

# Menhir automaton data
*.conflicts
*.automaton

# Plots
graphs/*
graphs2/*

# Tex
doc/prez/*
!doc/prez/Makefile
!doc/prez/prez.tex
!doc/prez/*.svg
!doc/prez/prez.pdf
!doc/prez/research.bib
doc/soutenance/*
!doc/soutenance/Makefile
!doc/soutenance/soutenance.tex
!doc/soutenance/*.svg
!doc/soutenance/research.bib