Skip to content
Snippets Groups Projects
Commit 7d8ad3a7 authored by Kostyantyn Vorobyov's avatar Kostyantyn Vorobyov Committed by Julien Signoles
Browse files

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

parent f049a88f
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 @ 7d8ad3a7
......@@ -69,3 +69,4 @@ META.frama-c-e_acsl
.merlin
Makefile.plugin.generated
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