1) Optimiser les fontions auxiliaires par eviter d'utiliser List.mem
[tatoo.git] / .gitignore
1 gmon.out
2 *.dep*
3 *.cm*
4 *.o
5 *.native
6 *.byte
7 tests/*.results/*_tatoo*
8 *.class
9 tests/trace/*.html
10 tests/trace/*.dot
11 tests/trace/*.svg
12 config.status
13 Remakefile
14 Makefile
15 autom4te.cache
16 config.log
17 remake
18 .remake
19 src/xpath/xpath_internal_parser.ml
20 src/xpath/xpath_internal_parser.mli
21 src/trace_css.ml
22 src/trace_js.ml
23 tests/xmark*.xml
24 tests/xmark*.xml.queries
25 .DS_Store
26