summaryrefslogtreecommitdiffstats
BranchCommit messageAuthorAge
devPhotoRec: Using bgz extension instead of gz for bgziped filesChristophe Grenier19 months
mastersrc/file_doc.c: make the code more frama-c friendlyChristophe Grenier10 days