966ede6 Update HTTP_BOOT to new name of the option

Authored and Committed by puiterwijk 4 years ago
1 file changed. 5 lines added. 2 lines removed.
    Update HTTP_BOOT to new name of the option
    
    Signed-off-by: Patrick Uiterwijk <patrick@puiterwijk.org>
    
        
file modified
+5 -2