cd04955 Tweak branding, enable docker by default

Authored and Committed by Colin Walters 7 years ago
    Tweak branding, enable docker by default
    
        
file added
+1
file modified
+12 -14