7f78a9b Turn off the project's documentation by default

Authored and Committed by pingou 8 years ago
    Turn off the project's documentation by default
    
    This will impact new projects but not the existing ones and will prevent
    a `Doc` tab leading to nothing if there is no doc.
    
        
file modified
+1 -1