Skip to content
Snippets Groups Projects
Commit 6bdaff9c authored by Kostyantyn Vorobyov's avatar Kostyantyn Vorobyov
Browse files

[.gitignore] Added top directory generated by frama-c

parent f336a79d
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
+ 1
− 0
View file @ 6bdaff9c
...@@ -69,3 +69,4 @@ META.frama-c-e_acsl ...@@ -69,3 +69,4 @@ META.frama-c-e_acsl
.merlin .merlin
Makefile.plugin.generated Makefile.plugin.generated
E_ACSL.check_mli_exists E_ACSL.check_mli_exists
top/
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