diff options
| author | emersion <[email protected]> | 2018-04-17 23:15:11 +0100 |
|---|---|---|
| committer | emersion <[email protected]> | 2018-04-17 23:15:11 +0100 |
| commit | 711445160769bcde392517522ee10e10e6282530 (patch) | |
| tree | 425afed03d8d2624e612bad3490e50cd42be359a /include/readline.h | |
| parent | dbc36935ee857375669e7ab3d0f20f1b5b098d23 (diff) | |
Destroy display in server_fini
Diffstat (limited to 'include/readline.h')
0 files changed, 0 insertions, 0 deletions