summaryrefslogtreecommitdiffstats
BranchCommit messageAuthorAge
devPhotoRec: Using bgz extension instead of gz for bgziped filesChristophe Grenier18 months
masterFix all problems reported by "make frama-c-zip"Christophe Grenier8 hours