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

Fixes Frama-C 26.1 event.

parent c712950b
No related branches found
No related tags found
1 merge request!178Release 26.1-Iron
Pipeline #53538 passed
Stage: test
    Stage: css
      Stage: deploy