summaryrefslogtreecommitdiffstats
path: root/src/photorec.c
diff options
context:
space:
mode:
authorChristophe Grenier <grenier@cgsecurity.org>2021-06-15 14:03:51 +0200
committerChristophe Grenier <grenier@cgsecurity.org>2021-06-15 14:03:51 +0200
commitaf8d2414416d7f98f3592181a59e6b868796fb96 (patch)
tree3f9c9a7dfbe176cba8806973c8d3ccd74e5e7540 /src/photorec.c
parenta098cb3c65ec50dfb78fd45a12ceaffd3770a95d (diff)
src/file_gp5.c: improve Frama-C annotationsHEADmaster
Diffstat (limited to 'src/photorec.c')
0 files changed, 0 insertions, 0 deletions