Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / .gitignore @ 9b0432bc

History | View | Annotate | Download (230 Bytes)

1 264a4844 ploc
*~
2 9c4cc944 Corentin Lauverjat
/_build/
3
/test
4 e7b4ba42 Christophe Garion
Makefile
5
/configure
6 9c4cc944 Corentin Lauverjat
/config.log
7
/config.status
8
/*cache/
9
*.merlin
10
/Makefile
11
/src/dune
12
/plugins/zustre/dune
13
/src/pluginList.ml
14
/src/verifierList.ml
15
/lib/version.ml
16
/include/z3librc
17
/share/FindLustre.cmake
18
/deps.png