Commit 6657f7c2 authored by MARCHE Claude's avatar MARCHE Claude

ignored files for jessie3

parent 3f5d178f
......@@ -263,15 +263,11 @@ pvsbin/
# jessie3
/src/jessie/.depend
/src/jessie/Jessie3_DEP
/src/jessie/autom4te.cache/
/src/jessie/config.log
/src/jessie/config.status
/src/jessie/Makefile
/src/jessie/literals.ml
/src/jessie/ptests_local_config.ml
/src/jessie/tests/basic/frama_c_journal.ml
/src/jessie/tests/ptests_config
/src/jessie/tests/basic/result/*.log
/src/jessie/tests/demo/result/*.log
/trash
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment