Skip to content
GitLab
Explore
Sign in
pub
frama-c
Repository
frama-c
ivette
api
kernel
ast
index.ts
Find file
Blame
History
Permalink
Merge branch 'feature/ivette/multiple-selections' into 'master'
· bfa4eb3d
Michele Alberti
authored
Jul 16, 2020
[ivette] Allows selecting multiple locations at once See merge request frama-c/frama-c!2729
bfa4eb3d