Skip to content
GitLab
Explore
Sign in
Charles Southerland
frama-c
Repository
frama-c
src
plugins
server
data.mli
Find file
Blame
History
Permalink
[server] Data: in indexed values, renames "kind" into "name".
· 22be3079
David Bühler
authored
Jul 07, 2020
22be3079