diff options
Diffstat (limited to 'desktop/gui_clipboard.h')
| -rw-r--r-- | desktop/gui_clipboard.h | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/desktop/gui_clipboard.h b/desktop/gui_clipboard.h index 8933e3099..6feea2404 100644 --- a/desktop/gui_clipboard.h +++ b/desktop/gui_clipboard.h @@ -27,7 +27,6 @@ #include <stddef.h> -#include "utils/types.h" #include "utils/errors.h" #include "desktop/plot_style.h" |