path: root/src/phcfg.c
Commit message (Expand)AuthorAgeFilesLines
* A lot of frama-c annotations or code disablingChristophe Grenier2024-01-301-0/+6
* Use "DISABLED_FOR_FRAMAC" to disable code to facilitate verificationChristophe Grenier2022-04-131-2/+2
* Lots of frama-c work that should be safe to commitChristophe Grenier2020-06-021-26/+5
* rename list_file_enable to array_file_enableChristophe Grenier2020-02-011-1/+1
* constify cmd_length variable in file_options_load()Christophe Grenier2016-07-021-1/+1
* various code cleanupChristophe Grenier2012-12-081-8/+4
* PhotoRec: Call reset_list_file_enable() in main() instead of file_options_loa...Christophe Grenier2011-03-251-1/+0
* Fix some compilation warningsChristophe Grenier2009-02-031-3/+0
* When loading FileOpts saved options, don't log the option by defaultChristophe Grenier2008-03-141-1/+3
* PhotoRec: Load and save FileOpts settingsChristophe Grenier2008-03-101-0/+266