From 1faa6a7b686cd160814926da4275850e87f9e359 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Fran=C3=A7ois=20Bobot?= <francois.bobot@cea.fr>
Date: Tue, 19 Nov 2013 16:25:40 +0100
Subject: [PATCH] add the .gitignore from svn:ignore

---
 src/plugins/e-acsl/.gitignore | 74 +++++++++++++++++++++++++++++++++++
 1 file changed, 74 insertions(+)
 create mode 100644 src/plugins/e-acsl/.gitignore

diff --git a/src/plugins/e-acsl/.gitignore b/src/plugins/e-acsl/.gitignore
new file mode 100644
index 00000000000..6e849e1b616
--- /dev/null
+++ b/src/plugins/e-acsl/.gitignore
@@ -0,0 +1,74 @@
+/*.cm*
+/*.annot
+/*_DEP
+/configure
+/config.log
+/Makefile
+/.depend
+/local_config.ml
+/config.status
+/autom4te.cache
+/ptests_local_config.ml
+/configure.lineno
+/share/*.cm*
+/share/*.annot
+/share/*_DEP
+/share/e-acsl/*.cm*
+/share/e-acsl/*.annot
+/share/e-acsl/*_DEP
+/doc/code
+/doc/refman/*.out
+/doc/refman/*.bbl
+/doc/refman/*.blg
+/doc/refman/*.id*
+/doc/refman/*.aux
+/doc/refman/*.cb*
+/doc/refman/*.toc
+/doc/refman/*.lo*
+/doc/refman/*.inf
+/doc/refman/*.ilg
+/doc/refman/e-acsl*.tex
+/doc/refman/framacversion.tex
+/doc/refman/main.pdf
+/doc/refman/*.bnf
+/doc/refman/*.cm*
+/doc/refman/transf
+/doc/refman/transf.ml
+/doc/refman/*.ind
+/doc/userman/*.aux
+/doc/userman/*.bbl
+/doc/userman/*.blg
+/doc/userman/*.ind
+/doc/userman/*.ilg
+/doc/userman/*.out
+/doc/userman/*.cb*
+/doc/userman/*.toc
+/doc/userman/*.idx
+/doc/userman/*.log
+/doc/userman/*.lof
+/tests/*.cm*
+/tests/*.annot
+/tests/*_DEP
+/tests/test_config
+/tests/e-acsl-runtime/*.cm*
+/tests/e-acsl-runtime/*.annot
+/tests/e-acsl-runtime/*_DEP
+/tests/e-acsl-runtime/oracle/*.cm*
+/tests/e-acsl-runtime/oracle/*.annot
+/tests/e-acsl-runtime/oracle/*_DEP
+/tests/e-acsl-runtime/result/*.cm*
+/tests/e-acsl-runtime/result/*.annot
+/tests/e-acsl-runtime/result/*_DEP
+/tests/e-acsl-runtime/result/*.log
+/tests/e-acsl-runtime/result/gen_*.c
+/tests/e-acsl-runtime/result/gen_*.out
+/tests/e-acsl-reject/*.cm*
+/tests/e-acsl-reject/*.annot
+/tests/e-acsl-reject/*_DEP
+/tests/e-acsl-reject/oracle/*.cm*
+/tests/e-acsl-reject/oracle/*.annot
+/tests/e-acsl-reject/oracle/*_DEP
+/tests/e-acsl-reject/result/*.cm*
+/tests/e-acsl-reject/result/*.annot
+/tests/e-acsl-reject/result/*_DEP
+/tests/e-acsl-reject/result/*.log
-- 
GitLab