diff options
Diffstat (limited to 'print_wiki.c')
-rw-r--r-- | print_wiki.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/print_wiki.c b/print_wiki.c index 8c0e06d17..3f13510a4 100644 --- a/print_wiki.c +++ b/print_wiki.c @@ -25,6 +25,7 @@ #include <time.h> #include "flash.h" #include "flashchips.h" +#include "programmer.h" static const char * const wiki_header = "= Supported devices =\n\n\ <div style=\"margin-top:0.5em; padding:0.5em 0.5em 0.5em 0.5em; \ |