summaryrefslogtreecommitdiffstats
path: root/src/ppartseln.h
Commit message (Expand)AuthorAgeFilesLines
* Numerous frama-c annotationsChristophe Grenier2021-11-201-0/+10
* Add an header guard to prevent multiple inclusionChristophe Grenier2020-10-041-0/+3
* rename src/ppartsel.c to src/ppartseln.cChristophe Grenier2014-04-231-0/+30