Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Use "DISABLED_FOR_FRAMAC" to disable code to facilitate verification | Christophe Grenier | 2022-04-13 | 1 | -1/+1 |
* | Disable ncurses library when using frama-c | Christophe Grenier | 2020-11-01 | 1 | -0/+4 |
* | Declare as const some static variables | Christophe Grenier | 2013-05-22 | 1 | -1/+1 |
* | change_geometry_ncurses(): make some variables more local | Christophe Grenier | 2013-05-17 | 1 | -4/+4 |
* | Compilation fix when curses interface is missing | Christophe Grenier | 2013-05-15 | 1 | -2/+2 |
* | Split change_geometry() into change_geometry_cli() and change_geometry_ncurses() | Christophe Grenier | 2013-05-15 | 1 | -0/+188 |