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

Merge branch '1127-ivette-duplicate-menu-items-app-mode' into 'master' 

Resolve "[ivette] duplicate menu items (APP mode)"

Closes #1127

See merge request frama-c/frama-c!3719
parents 753d6e77 5b8b067d
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
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