Skip to content
GitLab
Explore
Sign in
pub
frama-c
Repository
frama-c
src
plugins
server
kernel_properties.ml
Find file
Blame
History
Permalink
[server] Fixes the synchronized properties array on status updates.
· c4c6efc8
David Bühler
authored
Jan 17, 2023
c4c6efc8