summaryrefslogtreecommitdiffstats
path: root/src/file_wad.c
Commit message (Expand)AuthorAgeFilesLines
* Use "DISABLED_FOR_FRAMAC" to disable code to facilitate verificationChristophe Grenier2022-04-131-1/+1
* src/file_wad.c: improve Frama-C annotationsChristophe Grenier2021-07-271-6/+3
* src/file_wad.c: add Frama-C annotationsChristophe Grenier2021-03-131-12/+25
* PhotoRec: recover Doom .wad filesChristophe Grenier2021-01-061-0/+72