Skip to content
Snippets Groups Projects
Commit 23277405 authored by Basile Desloges's avatar Basile Desloges
Browse files

[eacsl:doc] Fix tab in Changelog

parent f7a58f21
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
src/plugins/e-acsl/doc/Changelog
+ 1
− 1
View file @ 23277405
...@@ -21,7 +21,7 @@ ...@@ -21,7 +21,7 @@
-* E-ACSL [2020/03/24] Fix automatic deactivation of plug-in Variadic when -* E-ACSL [2020/03/24] Fix automatic deactivation of plug-in Variadic when
E-ACSL is directly called from Frama-C without using E-ACSL is directly called from Frama-C without using
e-acsl-gcc.sh. e-acsl-gcc.sh.
- E-ACSL [2020/03/10] Call E-ACSL's free functions for globals in a - E-ACSL [2020/03/10] Call E-ACSL's free functions for globals in a
separate function at the end of main. separate function at the end of main.
- E-ACSL [2020/03/10] Call `__e_acsl_memory_init` only if the memory - E-ACSL [2020/03/10] Call `__e_acsl_memory_init` only if the memory
......
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