summaryrefslogtreecommitdiffstats
path: root/.travis.yml
diff options
context:
space:
mode:
authorChristophe Grenier <grenier@cgsecurity.org>2019-11-03 18:57:00 +0100
committerChristophe Grenier <grenier@cgsecurity.org>2019-11-03 18:57:00 +0100
commitb23da7a17c803c0f69efdcd1ba8c747f85ff2329 (patch)
tree47800ac0ff3b30c87b1fec17d79096b3fd5c93a6 /.travis.yml
parent87ff1ddb86b0869839c9ede8168e8418d2a196e1 (diff)
src/file_doc.c: make the code more frama-c friendly
Diffstat (limited to '.travis.yml')
0 files changed, 0 insertions, 0 deletions