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