summaryrefslogtreecommitdiffstats
path: root/src/poptions.h
Commit message (Expand)AuthorAgeFilesLines
* Improve Frama-C annotationsChristophe Grenier2022-07-141-0/+1
* Add an header guard to prevent multiple inclusionChristophe Grenier2020-10-041-0/+4
* Additional frama-c annotationsChristophe Grenier2020-08-081-0/+10
* Move interface_options_photorec_cli() and interface_options_photorec_log() to...Christophe Grenier2013-05-151-0/+31