summaryrefslogtreecommitdiffstats
path: root/src/ext2_inc.h
Commit message (Expand)AuthorAgeFilesLines
* Use "DISABLED_FOR_FRAMAC" to disable code to facilitate verificationChristophe Grenier2022-04-131-1/+1
* Add an header guard to prevent multiple inclusionChristophe Grenier2020-10-041-0/+12
* Lots of frama-c work that should be safe to commitChristophe Grenier2020-06-021-0/+4
* Migrate from file_data to file_info structureChristophe Grenier2013-05-051-2/+1
* File undelete for ext2Christophe Grenier2008-07-031-0/+1
* First version in gitChristophe Grenier2007-10-291-0/+29