diff options
| author | Thomas Hindoe Paaboel Andersen <phomes@gmail.com> | 2015-02-14 09:44:31 +0100 |
|---|---|---|
| committer | Thomas Hindoe Paaboel Andersen <phomes@gmail.com> | 2015-02-23 23:53:42 +0100 |
| commit | 2eec67acbb00593e414549a7e5b35eb7dd776b1b (patch) | |
| tree | c692391dddfa88d938a29ea238a9e1a95da879fc /src/console/consoled-workspace.c | |
| parent | 4aab5d0cbd979b2cccb88534f118bceaa86466d8 (diff) | |
remove unused includes
This patch removes includes that are not used. The removals were found with
include-what-you-use which checks if any of the symbols from a header is
in use.
Diffstat (limited to 'src/console/consoled-workspace.c')
| -rw-r--r-- | src/console/consoled-workspace.c | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/console/consoled-workspace.c b/src/console/consoled-workspace.c index 56344ef2cf..5e9e5c7c49 100644 --- a/src/console/consoled-workspace.c +++ b/src/console/consoled-workspace.c @@ -20,7 +20,6 @@ ***/ #include <errno.h> -#include <inttypes.h> #include <stdlib.h> #include "consoled.h" #include "grdev.h" |