diff options
| author | Christian Grothoff <christian@grothoff.org> | 2015-01-29 20:27:57 +0100 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2015-01-29 20:27:57 +0100 |
| commit | a0a405939f9a79cc3eab5104b9b9871a8574d908 (patch) | |
| tree | 2a77203de38dcec43ede2af74ffeb3153c2400cf /src/mint/key_io.c | |
| parent | fa7f190745327322ced27b506fd9e905c4e65b8c (diff) | |
remove dead mint.h includes
Diffstat (limited to 'src/mint/key_io.c')
| -rw-r--r-- | src/mint/key_io.c | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/mint/key_io.c b/src/mint/key_io.c index f401a126..ea49c88b 100644 --- a/src/mint/key_io.c +++ b/src/mint/key_io.c @@ -23,7 +23,6 @@ * @author Christian Grothoff */ #include "platform.h" -#include "mint.h" #include "key_io.h" |