Skip to content
Snippets Groups Projects
Commit 0af08782 authored by David Bühler's avatar David Bühler
Browse files

Updates Frama-C submodule.

parent 827c7934
No related branches found
No related tags found
No related merge requests found
Pipeline #42178 failed
Stage: test
    Hide whitespace changes
    Inline Side-by-side
    Showing
    with 1 addition and 1 deletion
    frama-c @ ad3180e7
    Compare 2f9b5b70...ad3180e7
    Subproject commit 2f9b5b70a1419269f0f6017eca24e6b548447aaa Subproject commit ad3180e7c97bfa06e4f0b42836b06e4e864318fa
    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