network_gui.c
changeset 4223 d4c9ef555f43
parent 4195 600bd419c335
child 4261 28670f743746
equal deleted inserted replaced
4222:36e9bd216011 4223:d4c9ef555f43
     5 #include "string.h"
     5 #include "string.h"
     6 #include "strings.h"
     6 #include "strings.h"
     7 #include "table/sprites.h"
     7 #include "table/sprites.h"
     8 #include "network.h"
     8 #include "network.h"
     9 
     9 
    10 #include "hal.h" // for file list
    10 #include "fios.h"
    11 
    11 
    12 #ifdef ENABLE_NETWORK
    12 #ifdef ENABLE_NETWORK
    13 
    13 
    14 #include "table/strings.h"
    14 #include "table/strings.h"
    15 #include "functions.h"
    15 #include "functions.h"