summaryrefslogtreecommitdiffstats
path: root/src/askloc.h
Commit message (Expand)AuthorAgeFilesLines
* Use "DISABLED_FOR_FRAMAC" to disable code to facilitate verificationChristophe Grenier2022-04-131-1/+1
* Disable some code sections for frama-cChristophe Grenier2021-01-061-3/+9
* New prototype for ask_location() and td_getcwd()Christophe Grenier2020-12-061-2/+13
* Add an header guard to prevent multiple inclusionChristophe Grenier2020-10-041-0/+4
* Additional frama-c annotationsChristophe Grenier2020-08-081-0/+4
* move get_default_location() from src/intrf.c to src/askloc.cChristophe Grenier2012-06-281-0/+1
* If the destination is full, PhotoRec ask for a new location and it defaultsChristophe Grenier2009-05-241-1/+1
* Split ncurses text interface from functionsChristophe Grenier2009-01-141-0/+30