Skip to content
Snippets Groups Projects
Select Git revision
0 results
Compare
user avatar
[Sparecode] Renames "select_slice_pragma" into "select_slice_annot".
David Bühler authored 
As slice pragmas have been replaced by slice ACSL extensions.
b93d5c3b
History
user avatar b93d5c3b
History
Name Last commit Last update