summaryrefslogtreecommitdiffstats
path: root/src/addpart.h
Commit message (Expand)AuthorAgeFilesLines
* src/addpart.h: improve Frama-C annotations for add_partition_cli()Christophe Grenier2023-10-081-2/+2
* Add an header guard to prevent multiple inclusionChristophe Grenier2020-10-041-0/+3
* Additional frama-c annotationsChristophe Grenier2020-08-081-0/+8
* split add_partition() into add_partition_cli() and add_partition_ncurses()Christophe Grenier2013-05-151-1/+1
* code cleanup: remove verbose argument to add_partition_*()Christophe Grenier2009-03-061-1/+1
* Split ncurses text interface from functionsChristophe Grenier2009-01-141-0/+23