summaryrefslogtreecommitdiffstats
path: root/src/guid_cmp.h
Commit message (Expand)AuthorAgeFilesLines
* Add an header guard to prevent multiple inclusionChristophe Grenier2020-10-041-0/+9
* Additional frama-c annotationsChristophe Grenier2020-08-081-0/+4
* EFI GPT: when changing the partition type, select by default the current typeChristophe Grenier2008-08-061-2/+2
* First version in gitChristophe Grenier2007-10-291-0/+26