summaryrefslogtreecommitdiffstats
path: root/src/gfs2.h
Commit message (Expand)AuthorAgeFilesLines
* Improve Frama-C annotationsChristophe Grenier2022-07-141-0/+1
* Numerous frama-c annotationsChristophe Grenier2021-11-201-1/+14
* Add an header guard to prevent multiple inclusionChristophe Grenier2020-10-041-0/+3
* Constify more function parametersChristophe Grenier2020-06-191-1/+1
* Locate lost GFS2 partition but not yet the sizeChristophe Grenier2011-08-281-0/+86