Skip to content
Snippets Groups Projects
Commit 48effcc3 authored by Allan Blanchard's avatar Allan Blanchard
Browse files

[e-acsl] Dune: don't gitignore local_config.ml

parent 3b29fd25
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
src/plugins/e-acsl/.gitignore
+ 0
− 2
View file @ 48effcc3
...@@ -7,7 +7,6 @@ ...@@ -7,7 +7,6 @@
/config.log /config.log
/Makefile /Makefile
/.depend /.depend
/local_config.ml
/config.status /config.status
/autom4te.cache /autom4te.cache
/ptests_local_config.ml /ptests_local_config.ml
...@@ -69,5 +68,4 @@ lib/libeacsl-rtl-bittree.a ...@@ -69,5 +68,4 @@ lib/libeacsl-rtl-bittree.a
lib/libeacsl-rtl-segment.a lib/libeacsl-rtl-segment.a
lib/libeacsl-rtl-bittree-dbg.a lib/libeacsl-rtl-bittree-dbg.a
lib/libeacsl-rtl-segment-dbg.a lib/libeacsl-rtl-segment-dbg.a
src/local_config.ml
src/dependencies/dep_eva.ml src/dependencies/dep_eva.ml
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