summaryrefslogtreecommitdiffstats
BranchCommit messageAuthorAge
devPhotoRec: Using bgz extension instead of gz for bgziped filesChristophe Grenier19 months
mastersrc/file_jpg.c: make code more frama-c friendly, file_tiff* modified toChristophe Grenier45 hours