summaryrefslogtreecommitdiffstats
BranchCommit messageAuthorAge
devPhotoRec: Using bgz extension instead of gz for bgziped filesChristophe Grenier2 years
masterLots of frama-c work that should be safe to commitChristophe Grenier2 days