summaryrefslogtreecommitdiffstats
path: root/src/refs.h
Commit message (Expand)AuthorAgeFilesLines
* Improve Frama-C annotationsChristophe Grenier2022-07-141-0/+3
* Add an header guard to prevent multiple inclusionChristophe Grenier2020-10-041-1/+10
* Detect Microsoft ReFS filesystemChristophe Grenier2015-12-031-0/+38