diff options
| author | Adrià Arrufat <adria.arrufat@gmail.com> | 2024-08-16 08:49:19 +0900 |
|---|---|---|
| committer | Adrià Arrufat <adria.arrufat@gmail.com> | 2024-08-16 08:49:19 +0900 |
| commit | 64ed046e5a841520506e1954ff0bd756ea112d94 (patch) | |
| tree | 28c3e5de5ad0d9652dc135efd96a5adf1d5c6a4f /src/terminal_ui.hh | |
| parent | 575f49f1b4cf93e8d91545f2e8959111bf6e7f2b (diff) | |
include headers cleanup
Diffstat (limited to 'src/terminal_ui.hh')
| -rw-r--r-- | src/terminal_ui.hh | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/terminal_ui.hh b/src/terminal_ui.hh index 85583a1d..64e3bfcf 100644 --- a/src/terminal_ui.hh +++ b/src/terminal_ui.hh @@ -6,7 +6,6 @@ #include "display_buffer.hh" #include "event_manager.hh" #include "face.hh" -#include "hash_map.hh" #include "optional.hh" #include "string.hh" #include "user_interface.hh" |