summaryrefslogtreecommitdiffstats
path: root/src/diskacc.h
Commit message (Expand)AuthorAgeFilesLines
* Numerous frama-c annotationsChristophe Grenier2021-11-201-0/+5
* Add an header guard to prevent multiple inclusionChristophe Grenier2020-10-041-0/+3
* Modify header files for C function declaration if C++ compilationChristophe Grenier2009-01-101-0/+7
* Split the interface in several filesChristophe Grenier2008-08-241-0/+23