summaryrefslogtreecommitdiffstats
BranchCommit messageAuthorAge
devPhotoRec: Using bgz extension instead of gz for bgziped filesChristophe Grenier21 months
masteradd a few frama-c annotationsChristophe Grenier3 weeks