summaryrefslogtreecommitdiffstats
path: root/src/file_gz.h
Commit message (Expand)AuthorAgeFilesLines
* src/file_gz.h: add more frama-c annotationsChristophe Grenier2023-12-271-0/+1
* src/file_gz.[ch]: improve frama-c annotationsChristophe Grenier2021-02-111-0/+3
* Add an header guard to prevent multiple inclusionChristophe Grenier2020-10-041-1/+3
* Add missing src/file_gz.h fileChristophe Grenier2016-08-281-0/+31